ppxscal/embedding_network huggingface dataset:
Semidirect Products of Association Schemes
Authors: Sejeong Bang, Mitsugu Hirasaka, Sung-Yell Song
Venue: Journal of Algebraic Combinatorics: An International Journal (2005)

In his 1996 work developing the theory of association schemes as a `generalized' group theory, Zieschang introduced the concept of the semidirect product as a possible product operation of certain association schemes. In this paper we extend the semidirect product operation into the entire set of association schemes. We then derive a way to decompose certain association schemes into smaller association schemes. We also investigate to what extent this product helps us to understand and characterize the structure of association schemes. We give some examples to show that the semidirect product produces many schemes that cannot be described as neither the direct product nor the wreath product of smaller schemes.
Local logics, non-monotonicity and defeasible argumentation
Authors: Gustavo A. Bodanza, Fernando A. Tohmé
Venue: Journal of Logic, Language and Information (2004)

In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligman's logic of information flow. We show that, taking P.M. Dung's characterization of argument systems, a local logic over states of a deliberation may be constructed. In this structure, the key feature of non-monotonicity of commonsense reasoning obtains as the transition from one local logic to another, due to a change in certain background conditions. Each of Dung's extensions of argument systems leads to a corresponding ordering of background conditions. The relations among extensions becomes a relation among partial orderings of background conditions. This introduces a conceptual innovation in Barwise and Seligman's representation of commonsense reasoning.
Book review: Machine Vision: Algorithms,Architectures, and Systems. Edited by Herbert Freeman (Academic Press)
Venue: ACM SIGART Bulletin (1990)

Machine vision has been a productive area of research in artificial intelligence and has had some success in industrial applications, but the machine vision community is dissatisfied with the rate of progress with which computerized vision systems have been utilized in industry as well as in society at large. In order to better define the issues and explore future directions, the Center for Computer Aids for Industrial Productivity (CAIP) at Rutgers University organized a workshop in April, 1987 for machine visionists in both academia and industry. From this workshop, Herbert Freeman, the director of CAIP, has compiled a selection of papers and notes from panels and forums into a coherent presentation of the workshop. This collection gives the reader both the academic and the industrial perspective on the state-of-the-art and the immediate future of machine vision. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Numerical methods for analysis of multiflow queuing systems with virtual partition of a common buffer
Authors: L. A. Ponomarenko, A. Z. Melikov, M. I. Fattakhova
Venue: Cybernetics and Systems Analysis (2005)

A new approach is proposed to studying queuing systems with request-specific channels and a common finite buffer for requests of different types. For sharing the common buffer, a virtual partitioning strategy is used. Explicit formulas for blocking probabilities of different requests are derived and optimization problems are solved. The results of numerical experiments are presented.
Comparing cursor orientations for mouse, pointer, and pen interaction
Authors: Barry A. Po, Brian D. Fisher, Kellogg S. Booth
Venue: Proceedings of the SIGCHI conference on Human factors in computing systems (2005)

Most graphical user interfaces provide visual cursors to facilitate interaction with input devices such as mice, pointers, and pens. These cursors often include directional cues that could influence the stimulus-response compatibility of user input. We conducted a controlled evaluation of four cursor orientations and an orientation-neutral cursor in a circular menu selection task. Mouse interaction on a desktop, pointer (i.e. wand) interaction on a large screen, and pen interaction on a Tablet PC were evaluated. Our results suggest that choosing appropriate cursors is especially important for pointer interaction, but may be less important for mice or pens. Cursors oriented toward the lower-right corner of a display yielded the poorest performance overall while orientation-neutral cursors were generally the best. Advantages were found for orientations aligned with the direction of movement. We discuss these results and suggest guidelines for the appropriate use of cursors in various input and display configurations.
Review of "A Reader's Guide to Agent Literacy by Marie A. Bienkowski".
Authors: Marie A. Bienkowski
Venue: ACM SIGART Bulletin (1998)

Those of us who are newly arrived on the agent scene have a variety of books available with which to increase our agent vocabulary. In this article, I provide a short review of five books related to agent research. I also discuss several overview papers and the recently published proceedings of the 1997 Autonomous Agents conference. Rather than providing an in-depth, critical analysis of these books (most of which are edited collections of papers), I describe their overall approach, attitude, and quality. These books are not ones that I chose from an exhaustive search of all potentially relevant available books but are those that quality publishers of AI/philosophy texts provided to me for review or those that I purchased for my own education. I have not selected books that treat only one aspect of agent operation in detail (e.g., Rosenschein & Zlotkin, 1994) in order that I may present you with books that significantly expand your agent literacy.
Generalized Discrete Radon Transforms and Their Use in the Ridgelet Transform
Authors: Flavia Colonna, Glenn Easley
Venue: Journal of Mathematical Imaging and Vision (2005)

We introduce and study a new class of Radon transforms in a discrete setting for the purpose of applying them to the ridgelet and curvelet transforms. We give a detailed analysis of the p-adic case and provide a closed-form formula for an inverse of the p-adic Radon transform. We give conditions for a scaled version of the generalized discrete Radon transform to yield a tight frame, and discuss a direct Radon matrix method for the implementation of a local ridgelet transform. We then study the effectiveness of some types of the generalized Radon transforms in reducing a type of noise known as speckle that is present in synthetic aperture radar (SAR) imagery.
Towards secure Grid-enabled healthcare: Research Articles
Authors: D. J. Power, E. A. Politou, M. A. Slaymaker, A. C. Simpson
Venue: Software&mdash;Practice Experience (2005)

The primary focus of the UK e-Science Programme is the development of software architectures, middleware and applications to support the end-user scientific community in the undertaking of large-scale research. A significant subset of e-Science projects is concerned with the healthcare domain: as well as satisfying the needs of the end users, such projects have to consider the legal, ethical and security constraints associated with the use of sensitive patient data&mdash;these concerns are particularly relevant within the context of the U.K.'s National Health Service (NHS). In this paper we present a vision for Grid-enabled healthcare that is sensitive to the information security requirements both of the NHS and the projects themselves. Although our motivation is principally derived from U.K.-based e-Health projects, this paper should be of interest to the worldwide health Grid community. By restricting ourselves to information security, we do not consider, for example, physical security or audit trail capabilities, which are outside the scope of this paper. The vision we describe is grounded in terms of experience, and reflects the challenges faced by the e-DiaMoND project team. Copyright &copy; 2005 John Wiley & Sons, Ltd.
An Improved Algorithm for uP + vQ on a Family of Elliptic Curves
Authors: Zhu YueFei, Kuang BaiJie, Zhang YaJuan
Venue: Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 17 - Volume 18 (2005)

The computational performance of cryptographic protocols based on elliptic curves strongly depends on the efficiency of multi scalar multiplications of uP + vQ, where P and Q are points on an elliptic curve. An efficient way to compute uP + vQ is to compute two scalar multiplications simultaneously, rather than computing each scalar multiplications separately. Koblitz introduced a family of curves which admit especially fast elliptic multi scalar multiplication and Solinas brought forward an improved algorithm for kP using the ¿-expansion of Koblitz Curves. We give a new algorithm for uP +vQ on Koblitz Curves based on the ¿-expansion with the additional speedup of the new joint spare form,which is called ¿-NJSF, where P and Q are on an Koblitz Curve defined over F2m. We also present an efficient algorithm to obtain the ¿-NJSF and prove its average joint Hamming density (AJHD) is 27/56 via the method of stochastic process. Computing uP +vQby our algorithm can reduce the computational complexity in more than 95% cases, and the running time is reduced by 3.6% on average, while compared with computation that by using ¿-JSF.
A Seven-degrees-of-freedom Robot-arm Driven by Pneumatic Artificial Muscles for Humanoid Robots
Authors: B. Tondu, S. Ippolito, J. Guiochet, A. Daidie
Venue: International Journal of Robotics Research (2005)

Braided pneumatic artificial muscles, and in particular the better known type with a double helical braid usually called the McKibben muscle, seem to be at present the best means for motorizing robot-arms with artificial muscles. Their ability to develop high maximum force associated with lightness and a compact cylindrical shape, as well as their analogical behavior with natural skeletal muscle were very well emphasized in the 1980s by the development of the Bridgestone "soft robot" actuated by "rubbertuators". Recent publications have presented ways for modeling McKibben artificial muscle as well as controlling its highly non-linear dynamic behavior. However, fewer studies have concentrated on analyzing the integration of artificial muscles with robot-arm architectures since the first Bridgestone prototypes were designed. In this paper we present the design of a 7R anthropomorphic robot-arm entirely actuated by antagonistic McKibben artificial muscle pairs. The validation of the robot-arm architecture was performed in a teleoperation mode.
On the Input Problem for Massive Modularity
Authors: J. Collins
Venue: Minds and Machines (2005)

Jerry Fodor argues that the massive modularity thesis -- the claim that (human) cognition is wholly served by domain specific, autonomous computational devices, i.e., modules -- is a priori incoherent, self-defeating. The thesis suffers from what Fodor dubs the `input problem': the function of a given module (proprietarily understood) in a wholly modular system presupposes non-modular processes. It will be argued that massive modularity suffers from no such a priori problem. Fodor, however, also offers what he describes as a `really real' input problem (i.e., an empirical one). It will be suggested that this problem is real enough, but it does not selectively strike down massive modularity -- it is a problem for everyone.
e-learning adaptive web system's formal design
Authors: Miroslav Bures, Ivan Jelinek
Venue: Proceedings of the 5th international conference on Computer systems and technologies (2004)

This article deals with formal description of the adaptive web system. Adaptive web system monitors particular user's behaviour and characteristics. Based on them, the system compiles a resultant adapted document. This document corresponds to user's qualification and capability, preferences and his/her specific needs. Formal description of adaptive web system is needful for exact description of adaptive document behaviour and consecutive automated implementation of adaptive web systems.
Considering the attractor structure of chaotic maps for observer-based synchronization problems
Authors: G. Millerioux, F. Anstett, G. Bloch
Venue: Mathematics and Computers in Simulation (2005)

The main purpose of this paper is to state some sufficient conditions for global synchronization of chaotic maps. The synchronization is viewed as a state reconstruction problem which is tackled by polytopic observers. Unlike most standard observers, polytopic observers can account for a special property of chaotic dynamics. Indeed, it is shown that many chaotic maps can be described in a so-called convexified form, involving a time-varying parameter which depends on the chaotic state vector. Such a form makes it possible to incorporate knowledge on the structure of the compact set wherein the parameter lies. This set depends implicitly on the structure of the chaotic attractor. It is proved that the conservatism of the polyquadratic stability conditions for the state reconstruction, stated in a companion paper, can be reduced when the corresponding Linear Matrix Inequalities involve the vertices of the minimal convex hull of this set. Theoretical developments along with special emphasis on computational aspects are provided and illustrated in the context of adaptive synchronization.
A Web-Based Remote Experiment System with Individualized Assessment of Learners
Authors: Hiroyasu Mitsui
Venue: Proceedings of the 19th International Conference on Advanced Information Networking and Applications - Volume 2 (2005)

Web-bused university distance learning coursesfor engineering requires experiment lessons related lectures. Many researchers have proposed various methods of supporting distant learners and assessing their achievement. However; they are mainlyfocused on remote lectures rather than remote experiments. We have experienced that assessing learners achievement in experiment lessons requires evaluation of bath reporting and understanding. In addition, personalized guidance according to their achievement characteristics is effective in both teaching and stimulating learners. In this paper we propose a method that offers personalized learning support and assessment of learners in remote experiment environment.
Information geometry for turbo decoding
Authors: Shiro Ikeda, Toshiyuki Tanaka, Shun-Ichi Amari
Venue: Systems and Computers in Japan (2005)

Turbo codes are known as a class of error-correcting codes which have high error-correcting performance with efficient decoding algorithm. Characteristics of the iterative decoding algorithm have been studied in detail through a variety of numerical experiments, but theoretical results are still insufficient. In this paper, this issue is addressed from the information geometrical viewpoint. As a result, a mathematical framework for analyzing turbo codes is obtained, and some of the fundamental properties of turbo decoding are elucidated based on this framework. Recently, it has been pointed out that the turbo decoding algorithm is related to the decoding algorithm of low-density parity check codes, the computation method of Bethe approximation in statistical physics, and the belief propagation algorithm of Bayesian networks. The mathematical framework given in the present paper can also be used to analyze these wide classes of iterative computation methods, and hence represent a new analysis tool. &copy; 2004 Wiley Periodicals, Inc. Syst Comp Jpn, 36(1): 79&ndash;87, 2005; Published online in Wiley InterScience (). DOI 10.1002&sol;scj.10359
Automatic Vehicle Classification System using Range Sensor
Authors: Khaled F. Hussain, Ghada S. Moussa
Venue: Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II - Volume 02 (2005)

This paper presents an Automatic Vehicle Classification System based upon Laser Intensity Images obtained from range sensors (called AVCSLII). Current systems that utilize loop detectors, video cameras, and range sensors have deficiencies. The loop detectors have high failure rates due to pavement failures and poor maintenance. Video based systems and range sensors do not perform well in deteriorated atmospheric conditions (such as rain and fog). The developed generations of image based range sensors offer the promise of sensors that are less sensitive to deteriorated environmental conditions. AVCSLII system extracts features of laser intensity images, produced by laser sensory units. These features are used to train a Neural Network (NN). The AVCSLII system recalls its trained NN for classification of vehicles. This technique outperforms loop detectors, video cameras, and range data techniques in deteriorated environmental conditions.
Research of the Chinese Meta-search Engine Model Based on Intelligent Agent
Authors: Hao-ming Wang, Bo-qin Feng
Venue: Proceedings of the 19th International Conference on Advanced Information Networking and Applications - Volume 1 (2005)

This paper discussed the disadvantages of the current search engines and built a meta-search engine. The system constructed the vector set, which composed of the vectors of each domain, by using the materials hading been classified manually. When the user visited the Internet, the historical pages were recorded and downloaded. The system extracted the information from the pages and constructed the vector of every page. The distance between the page vector and the domain vector was calculated. The more the distance the more the relativity. The personalized model of the given user was built by the relativity. Due to the limit of the dictionary, the method of the word segmentation called "a domain independent dictionary free lexical acquisition model for Chinese document" was used. In this paper, some key technologies related to the system were discussed, such as extracting the class keywords, classifying methods, and the algorithm of the page value calculating. In the last paragraph, the future works, such as the storing of semi-structure information, and the calculating of the web pageýs value were mentioned.
Learning from multi-source data
Authors: Élisa Fromont, Marie-Odile Cordier, René Quiniou
Venue: Proceedings of the 8th European Conference on Principles and Practice of Knowledge Discovery in Databases (2004)

This paper proposes an efficient method to learn from multi source data with an Inductive Logic Programming method. The method is based on two steps. The first one consists in learning rules independently from each source. In the second step the learned rules are used to bias a new learning process from the aggregated data. We validate this method on cardiac data obtained from electrocardiograms or arterial blood pressure measures. Our method is compared to a single step learning on aggregated data.
Multi-Output Regularized Projection
Authors: Kai Yu, Shipeng Yu, Volker Tresp
Venue: Proceedings of the 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'05) - Volume 2 - Volume 02 (2005)

Dimensionality reduction via feature projection has been widely used in pattern recognition and machine learning. It is often beneficial to derive the projections not only based on the inputs but also on the target values in the training data set. This is of particular importance in predicting multivariate or structured outputs which is an area of growing interest. In this paper we introduce a novel projection framework which is sensitive to both input features and outputs. Based on the derived features prediction accuracy can be greatly improved. We validate our approach in two applications. The first is to model usersý preferences on a set of paintings. The second application is concerned with image categorization where each image may belong to multiple categories. The proposed algorithm produces very encouraging results in both settings.
The semantics of Kalah game
Authors: Kaninda Musumbu
Venue: Proceedings of the 4th international symposium on Information and communication technologies (2005)

The present work consisted in developing a plateau game. There are the traditional ones (monopoly, cluedo, ect.) but those which interest us leave less place at the chance (luck) than to the strategy such that the chess game. Kallah is an old African game, its rules are simple but the strategies to be used are very complex to implement. Of course, they are based on a strongly mathematical basis as in the film "Rain-Man" where one can see that gambling can be payed with strategies based on mathematical theories. The Artificial Intelligence gives the possibility "of thinking" to a machine and, therefore, allows it to make decisions. In our work, we use it to give the means to the computer choosing its best movement.
Comparison of Advanced Authorisation Infrastructures for Grid Computing
Authors: A. J. Stell, R. O. Sinnott, J. P. Watt
Venue: Proceedings of the 19th International Symposium on High Performance Computing Systems and Applications (2005)

The widespread use of Grid technology and distributed compute power, with all its inherent benefits, will only be established if the use of that technology can be guaranteed efficient and secure. The predominant method for currently enforcing security is through the use of public key infrastructures (PKI) to support authentication and the use of access control lists (ACL) to support authorisation. These systems alone do not provide enough fine-grained control over the restriction of user rights, necessary in a dynamic Grid environment. This paper compares the implementation and experiences of using the current standard for Grid authorisation with Globus - the Grid Security Infrastructure (GSI) - with the Role-Based Access Control (RBAC) authorisation infrastructure PERMIS. The suitability of these security infrastructures for integration with regard to existing Grid technology is presented based upon experiences within the JISC-funded DyVOSE project.
Strategic Pricing and Detailing Behavior in International Markets
Authors: Pradeep K. Chintagunta, Ramarao Desiraju
Venue: Marketing Science (2005)

We study three determinants of the levels of price and detailing effort across geographic markets: the within-market response to each variable, the nature of interfirm strategic interactions both within that market and across markets. We empirically examine the interactions of Prozac, Zoloft, and Paxil across the United States, the United Kingdom, Germany, France, and Italy. Our results indicate that all three factors driving marketing mix interactions are at play in this product category. The U.S. market is less price-sensitive than the European markets. Detailing elasticities are comparable across the United States, Germany, and Italy, while the United Kingdom and France show greater elasticity. For the U.S. market, we find that almost all deviations from Nash pricing and detailing levels are due to within-market interactions. In the U.K. market, deviations from Nash prices come about due mostly to across-market interactions--both with the United States as well as the rest of Europe, whereas deviations from Nash detailing levels are mainly due to across-market interactions with the United States. For Italy, we observe that both within and across-market interactions affect price and detailing levels. Overall, the pattern of interactions makes observed prices more similar across countries than prices implied by the estimated elasticities. This underscores the importance of considering within- and across-market interactions in developing multimarket strategy.