ppxscal/embedding_network huggingface dataset:
Remote supervisory control of a humanoid robot
Authors: Michael T. Rosenstein, Andrew H. Fagg, Robert Platt, John D. Sweeney, Roderic A. Grupen
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 4 (2005)

For this demonstration, participants have the opportunity to control a humanoid robot located hundreds of miles away. The general task is to reach, grasp, and transport various objects in the vicinity of the robot. Although remote "pick-and-place" operations of this sort form the basis of numerous practical applications, they are frequently error-prone and fatiguing for human operators. Participants can experience the relative difficulty of remote manipulation both with and without the use of an assistive interface. This interface simplifies the task by injecting artificial intelligence in key places without seizing higher-level control from the operator. In particular, we demonstrate the benefits of two key components of the system: a video display of predicted operator intentions, and a haptic-based controller for automated grasping.
A semantic importing approach to knowledge reuse from multiple ontologies
Authors: Jie Bao, Giora Slutzki, Vasant Honavar
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

We present the syntax and semantics of a modular ontology language SHOIQP to support context-specific reuse of knowledge from multiple ontologies. A SHOIQP ontology consists of multiple ontology modules (each of which can be viewed as a SHOIQ ontology) and concept, role and nominal names can be shared by "importing" relations among modules. SHOIQP supports contextualized interpretation, i.e., interpretation from the point of view of a specific package. We establish the necessary and sufficient constraints on domain relations (i.e., the relations between individuals in different local domains) to preserve the satisfiability of concept formulae, monotonicity of inference, and transitive reuse of knowledge.
A semantic approach for iterated revision in possibilistic logic
Authors: Guilin Qi
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for revision is too strong to define a practical one-step revision operator and some of them should be weakened. We then present a semantic approach for iterated revision in possibilistic logic using a one-step revision operator. The computation of the semantic approach is given. We show that our revision approach satisfies almost all the DP postulates for iterated revision and some other important logical properties.
Abstraction of man-made shapes
Authors: Ravish Mehra, Qingnan Zhou, Jeremy Long, Alla Sheffer, Amy Gooch, Niloy J. Mitra
Venue: ACM Transactions on Graphics (TOG) (2009)

Man-made objects are ubiquitous in the real world and in virtual environments. While such objects can be very detailed, capturing every small feature, they are often identified and characterized by a small set of defining curves. Compact, abstracted shape descriptions based on such curves are often visually more appealing than the original models, which can appear to be visually cluttered. We introduce a novel algorithm for abstracting three-dimensional geometric models using characteristic curves or contours as building blocks for the abstraction. Our method robustly handles models with poor connectivity, including the extreme cases of polygon soups, common in models of man-made objects taken from online repositories. In our algorithm, we use a two-step procedure that first approximates the input model using a manifold, closed envelope surface and then extracts from it a hierarchical abstraction curve network along with suitable normal information. The constructed curve networks form a compact, yet powerful, representation for the input shapes, retaining their key shape characteristics while discarding minor details and irregularities.
Analysis and Utilization of the Climatic Resources in Xiangxi River Basin
Authors: Yijin Wu, Wei Liao, Lorenz King, Xuying Yuan
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

This paper discusses the unique climatic resource in the Xiangxi river valley. The features of the climatic resource in the area can be concluded as follows: 1. It is very warm in winter and frost period is short. 2. According to the sea level elevation, the mountains can be divided into several climatic zones. 3. Precipitation is even around the whole year so that rainfall can be used effectively by crops. In addition, it has been found that both topography and meteorological systems result in the features. In order to exploit the climatic resource, some crops for the different heat zones are recommended with the criterions such as under suitable climate condition, high economic value and great market demand. The results suggest that: 1. Below the sea level elevation 500m is suitable for citrus and tung oil tree. 2. Tea tree and mason pine could be planted between 500m and 800m. 3. Mushroom and Chinese chestnut are suitable for the elevation 800m-1200m. 4. The land above 1200m can be used for forage grass and Chinese medicinal materials. Finally, the hazard of climatic resource utilization and development in this region has also been evaluated in this paper.
Contextual Argumentation in Ambient Intelligence
Authors: Antonis Bikakis, Grigoris Antoniou
Venue: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (2009)

The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context information render contextual reasoning a very challenging task. Most current Ambient Intelligence systems have not successfully addressed these challenges, as they rely on simplifying assumptions, such as perfect knowledge of context, centralized context, and unbounded computational and communicating capabilities. This paper presents a knowledge representation model based on the Multi-Context Systems paradigm, which represents ambient agents as autonomous logic-based entities that exchange context information through mappings, and uses preference information to express their confidence in the imported knowledge. On top of this model, we have developed an argumentation framework that exploits context and preference information to resolve conflicts caused by the interaction of ambient agents through mappings, and a distributed algorithm for query evaluation.
Data Prediction in Manufacturing: An Improved Approach Using Least Squares Support Vector Machines
Authors: Zaifei Liao, Tian Yang, Xinjie Lu, Hongan Wang
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

Support vector machine (SVM) is a set of related supervised learning methods used for classification and regression based on statistical learning theory. In this paper, we present a least squares support vector machines (LSSVM) regression method based on relative error for manufacturing industries to estimate the true value of imprecise measured data during production logistics process. Our method has already been successfully applied in Manufacturing Execution System (MES) of some petrochemical enterprises in China.
Wavelet Kernel Function for Stock Index Forecast
Authors: Lingbing Tang, Huanye Sheng
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02 (2009)

Stock index forecast plays an important role in finance.One of the challenging problems in forecasting the stock index is that general kernel functions in support vector machine (SVM) can’t capture no stationary characteristic of stock time series accurately. While wavelet function yields features that describe of the stock time series both at various locations and at varying time granularities, so this letter constructed a multidimensional wavelet kernel function and proved it meeting the mercer condition to address this problem. The applicability and validity of wavelet support vector machine (WSVM) for stock index forecasting were analyzed through experiments on real-world stock data. It appeared that the wavelet kernel is more accurate and performs better than the Gaussian kernel.
Developing Believable Interactive Cultural Characters for Cross-Cultural Training
Authors: Glenn Taylor, Ed Sims
Venue: Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009 (2009)

One path to training for cross-cultural competency is through immersion in a target culture, but real immersion can be expensive. Virtual immersion may be a viable alternative, but only if the experience is realistic and compelling enough. The characters in the virtual environment must embody the behaviors of the people in that culture in a way that is realistic and believable to facilitate training. In this paper, we describe a theory-based framework for building interactive cultural characters for cross-cultural training. The framework combines physical and cognitive aspects of behavior to enable more realistic generation of cultural behavior. We describe the theoretical basis for the framework, how it is being used to build interactive characters for cross-cultural training, and reflect on the challenges we have faced and lessons we have learned in doing this work.
Game Theory Model in Assessment and Selection of Transfer Hub's Layout
Authors: Tianqi Gu, Xuewu Chen, Bei Zhou
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Transferring functions and the relative layout programs of huge stations are getting complicated and multiplied while transportation tools and socioeconomic needs are intensively developing. For the assessment, comparison and selection process of transport hub’s layout, the usual methods used now including analytic hierarchy process and expert system method which are not very precise and criticized subjectively bias. The paper introduces game theory and set up the choice model for transfer hub’s layout assessment and selection process which is more accurate and less subjective influenced. It quantitatively transfers the layout’s selection process into a game theory problem and analyses the existence of NASH equilibrium to put forward the arithmetic of Iterated Elimination of Strictly Dominated Strategy in the general condition and the Integrated Strategy in the special condition. Finally, examples are given to verify the model’s feasibility.
Towards Automatic Extracted Semantic Annotation (ESA) for Web Documents
Authors: Ala'a Q. Al-Namiy, Faris S. Majeed
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

The Web contains huge amounts of data intended for clients. This information is mainly stored in hypertext form. This will lead to make the information semantically annotated to be accessible by the clients. Annotating provides a great help for the machine to realize the data put on the web. Annotating web pages could be achieved by using various tools which are available most of them are semi-automatic. In this paper some current Semantic Web Annotation platforms are examined. The lack of these annotations is avoided by creating and developing an Automatic web Annotation platform based on Ontology for a normal user. This offers easy, flexible and user-friendly interfaces by integrating the web page with an Ontology file for sharing a semantic metadata with other resources by providing APIs for improving storage structures for this annotation while separating the content of a page from the Annotation.
PALMbit-Silhouette: A User Interface by Superimposing Palm-Silhouette to Access Wall Displays
Authors: Goshiro Yamamoto, Huichuan Xu, Kazuto Ikeda, Kosuke Sato
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques (2009)

In this paper, we propose a new type of user interface using palm-silhouette, which realizes intuitive interaction on ubiquitous displays located at far from user's location or interfered in direct operation. In the area of augmented reality based user interface, besides the interface which allows users to operate virtual objects directly, the interface which lets users to interact remotely from a short-distant location is necessary, especially in the environment where multi-displays are shared in public areas. We propose two gesture-related functions using the palm-silhouette interface: grasp-and-release operation and wrist rotating operation which represent "selecting" and "adjustment" respectively. The usability of proposed palm-silhouette interface was evaluated by experiment comparison with a conventional arrowhead pointer. We studied and concluded the design rationale to realize a rotary switch operation by utilizing pseudo-haptic visual cue.
First-Order Side-Channel Attacks on the Permutation Tables Countermeasure
Authors: Emmanuel Prouff, Robert Mcevoy
Venue: Proceedings of the 11th International Workshop on Cryptographic Hardware and Embedded Systems (2009)

The use of random permutation tables as a side-channel attack countermeasure was recently proposed by Coron [5]. The countermeasure operates by ensuring that during the execution of an algorithm, each intermediate variable that is handled is in a permuted form described by the random permutation tables. In this paper, we examine the application of this countermeasure to the AES algorithm as described in [5], and show that certain operations admit first-order side-channel leakage. New side-channel attacks are developed to exploit these flaws, using correlation-based and mutual information-based methods. The attacks have been verified in simulation, and in practice on a smart card.
City Ragas: Building an Intercultural Dialogue between People
Authors: Lipika Bansal
Venue: Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009 (2009)

City Ragas is a photo exchange game in which people in different cities are directly linked with each other through mobile phones and engage in a visual dialogue. Every team has the goal to create a storyline by exchanging pictures. This visual dialogue opens up avenues for cultural exchange and direct interaction enhances understanding of each other and forms the basis for a strong involvement between inhabitants of two possibly distant cities. The intercultural mobile game, City Ragas, has been developed by Waag Society (Amsterdam, The Netherlands) in collaboration with the media lab Sarai (New Delhi, India). It uses mobile technology to disclose the themes of cultural identity and heritage.
An ambient intelligent body sensor network for e-Health applications
Authors: Md. Abdur Rahman, Mohammed F. Alhamid, Wail Gueaieb, Abdulmotaleb El Saddik
Venue: Proceedings of the 2009 IEEE International Workshop on Medical Measurements and Applications (2009)

Body sensor network (BSN) has played a key role in the rapid advancement of e-Health applications. If it is properly designed, a BSN can act as an ambient intelligent environment by providing us not only time critical human body information but also the context and events mapped with raw sensory data. In this paper, we propose the design of a BSN, which offers two features 1) capability of pushing sensory data and events from one's BSN, and ambient information from surrounding environment to a remote healthcare center and 2) facility of remotely querying any sensory data from one's BSN even if he is at home or outside. As a proof of concept, we created a testbed which can interact with the BSN in both communication ways. Finally, we present some preliminary test results that show the viability of the system.
Discovering domain-specific composite kernels
Authors: Tom Briggs, Tim Oates
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 2 (2005)

Kernel-based data mining algorithms, such as Support Vector Machines, project data into high-dimensional feature spaces. wherein linear decision surfaces correspond to non-linear decision surfaces in the original feature space. Choosing a kernel amounts to choosing a high-dimensional feature space, and is thus a crucial step in the data mining process. Despite this fact, and as a result of the difficulty of establishing that a function is a positive definite kernel, only a few standard kernels (e.g. polynomial and Gaussian) are typically used. We propose a method for searching over a space of kernels for composite kernels that are guaranteed to be positive definte, and that are tuned to produce a feature space appropriate for a given dataset. Composite kernel functions are easily interpreted by humans, in contrast to the output of other work on kernel tuning. Empirical results demonstrate that our method often finds composite kernels that yield higher classification accuracy than the standard kernels.
Computing Reachable States for Nonlinear Biological Models
Authors: Thao Dang, Colas Guernic, Oded Maler
Venue: Proceedings of the 7th International Conference on Computational Methods in Systems Biology (2009)

In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological models. We then develop a novel algorithm for computing reachable states for nonlinear systems and report experimental results obtained using a prototype implementation. We believe these results constitute a promising contribution to the analysis of complex models of biological systems.
Average Clustering of Discrete Data Based on Probability and its Application to Expressway Toll Fraud Detection
Authors: Huang Zhijun, Xia Chuangwen
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

This paper introduces a algorithms about Average Clustering of Discrete Data Based on probability. By using the algorithms we clustered the vehicle plate information in the northern part of Guangdong Provincial highway network in 2007 to 35 cluster. We find that different threshold value can produce different result. The cluster method has been calculated and all vehicle plate information at the entrance in the northern part of Guangdong province highway network from 8 o'clock on January 1 of 2008 onwards is put to the database in 35 cluster. This paper also introduces the data in the second quarter of 2008 using the cluster method to cluster the data into the database. It is conclude the produced cluster method can meet the demand of toll collection. This paper also analyses the merits and drawbacks of using the average Clustering of Discrete Data Based on probability to cluster the data.
A Web Service Composition Method Based on Multi-path
Authors: Jian Dong
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

While a single Web Service can’t satisfy complex business needs, how to compose a large granularity Web Service by small ones is an important issue at present. However, the research of service composition focuses the selection of concrete service on the basis of abstract service, and neglects abstract service modeling. This paper defines Composition Service problem as a graph, transforms service selection to discovering the shortest path in the graph, and puts forward a multi-path composition service selection algorithm. The algorithm plans multi-path according to user’s requirement, provides the computation method of Composition Service’s QoS, then select the best one to user based on the method.
Avoiding Bias in Text Clustering Using Constrained K-means and May-Not-Links
Authors: M. Eduardo Ares, Javier Parapar, Álvaro Barreiro
Venue: Proceedings of the 2nd International Conference on Theory of Information Retrieval: Advances in Information Retrieval Theory (2009)

In this paper we present a new clustering algorithm which extends the traditional batch k-means enabling the introduction of domain knowledge in the form of Must, Cannot, May and May-Not rules between the data points. Besides, we have applied the presented method to the task of avoiding bias in clustering. Evaluation carried out in standard collections showed considerable improvements in effectiveness against previous constrained and non-constrained algorithms for the given task.
Analyzing a Pattern-Based Model of a Real-Time Turntable System
Authors: Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Seceleanu, Paul Pettersson
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

Designers of industrial real-time systems are commonly faced with the problem of complex system modeling and analysis, even if a component-based design paradigm is employed. In this paper, we present a case-study in formal modeling and analysis of a turntable system, for which the components are described in the SaveCCM language. The search for general principles underlying the internal structure of our real-time system has motivated us to propose three modeling patterns of common behaviors of real-time components, which can be instantiated in appropriate design contexts. The benefits of such reusable patterns are shown in the case-study, by allowing us to produce easy-to-read and manageable models for the real-time components of the turntable system. Moreover, we believe that the patterns may pave the way toward a generic pattern-based modeling framework targeting real-time systems in particular.
Perception of Czech in Noise: Stability of Vowels
Authors: Jitka Veroňková, Zdena Palková
Venue: Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions: COST Action 2102 International Conference Prague, Czech Republic, October 15-18, 2008 Revised Selected and Invited Papers (2009)

The paper is based on results of perceptual tests focused on recognition of Czech words in noise. Identification of vowels in the syllabic nuclei proves most consistent. Resistance of individual phonemes and regularities in their substitution are examined. The primary focus concerns the position in a word. It shows that in Czech the position in the stressed syllable is not decisive for correct identification of vowels by listeners. Also the relations to duration and formant characteristics (F2/F1) bring negative results. Identification rates distinctly vary even among particular occurrences of individual phonemes. These differences do not have a verifiable relation to particular acoustic or structural feature. The assumption is vindicated that in the recognition of the acoustic word in adverse conditions a complex of features is in operation where these can act separately, in cooperation or in competition.
Applications of energy based control methods for the inverted pendulum on a cart
Authors: Andreas Siuka, Markus Schöberl
Venue: Robotics and Autonomous Systems (2009)

This contribution deals with the application of energy based control methods for the inverted pendulum on a cart model. We will present a swing up controller as well as a nonlinear balancing controller with the focus on the implementation on a laboratory model. Therefore we recapitulate well-known control concepts from the literature which will be adapted such that they work on a concrete experiment with all the undesirable effects like friction and quantisation.