ppxscal/embedding_network huggingface dataset:
A modular action description language for protocol composition
Authors: Nirmit Desai, Munindar P. Singh
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

Protocols are modular abstractions that capture patterns of interaction among agents. The compelling vision behind protocols is to enable creating customized interactions by refining and composing existing protocols. Realizing this vision presupposes (1) maintaining repositories of protocols and (2) refining and composing selected protocols. To this end, this paper synthesizes recent advances on protocols and on the knowledge representation of actions. This paper presents MAD-P, a modular action description language tailored for protocols. MAD-P enables building an aggregation hierarchy of protocols via composition. This paper demonstrates the value of such compositions via a simplified, but realistic, business scenario.
Approximately Efficient Iterative Mechanisms for Combinatorial Exchanges
Authors: Shantanu Biswas, Y. Narahari
Venue: Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing (2009)

Combinatorial exchanges are double sided marketplaceswith multiple sellers and multiple buyers trading with thehelp of combinatorial bids. The allocation and other associated problems in such exchanges are known to be among the hardest to solve among all economic mechanisms. In this paper, we develop computationally efficient iterative auction mechanisms for solving combinatorial exchanges. Our mechanisms satisfy Individual rationality (IR) and budget-nonnegativity (BN) properties. We also show that the exchange problem can be reduced to combinatorial auction problem when either the buyers or the sellers are single minded. Our numerical experiments show that our algorithm produces good quality solutions and is computationally efficient.
Common Interaction Schemes for In-Vehicle User-Interfaces
Authors: Simon Nestler, Marcus Tönnis, Gudrun Klinker
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part III: Ubiquitous and Intelligent Interaction (2009)

In this paper different interaction schemes which are currently implemented by major automotive manufacturers have been identified and analyzed. Complete overviews on all in-vehicle user-interface concepts are rarely spread. This paper gives a deeper insight in interaction schemes and user-interface concepts which are implemented in current cars. Additionally an expert review with 7 experts was performed to get a first impression which user-interface interaction schemes work well in the in-vehicle context. In order to get an impression of the suitability of the interaction schemes for the development of usable in-vehicle user-interfaces we performed different tests. The results are reported in text and tables.
UMC Model for Prediction of Seismic Liquefaction of Sand Soil
Authors: Long-jun Dong, Jin-chun Xue
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

Based on optimized forecast method of unascertained classifying, a unascertained measurement classifying model (UMC) to seismic liquefaction of sand soil is established, the principles of the unascertained measurement classifying theory are applied to predicting sand liquefaction with eight factors listed as follows: seismic intensity, epicenter distance, mean diameter, coefficient of non-uniformity, underground water depth, and depth, blow number of standard penetration test, ratio of shearing stress. Through computing practical examples and assessing the model, the model is manifested to be scientific and effective with much more accurate results than the Norm method and seed simplified method. The results show that the method is an efficient one in predicting sand liquefaction problems.
Virtual shelves: interactions with orientation aware devices
Authors: Frank Chun Yat Li, David Dearman, Khai N. Truong
Venue: Proceedings of the 22nd annual ACM symposium on User interface software and technology (2009)

Triggering shortcuts or actions on a mobile device often requires a long sequence of key presses. Because the functions of buttons are highly dependent on the current application's context, users are required to look at the display during interaction, even in many mobile situations when eyes-free interactions may be preferable. We present Virtual Shelves, a technique to trigger programmable shortcuts that leverages the user's spatial awareness and kinesthetic memory. With Virtual Shelves, the user triggers shortcuts by orienting a spatially-aware mobile device within the circular hemisphere in front of her. This space is segmented into definable and selectable regions along the phi and theta planes. We show that users can accurately point to 7 regions on the theta and 4 regions on the phi plane using only their kinesthetic memory. Building upon these results, we then evaluate a proof-of-concept prototype of the Virtual Shelves using a Nokia N93. The results show that Virtual Shelves is faster than the N93's native interface for common mobile phone tasks.
Monitoring Strategies for Adaptive Periodic Control in Behavior-Based Robotic Systems
Authors: Ernesto Burattini, Alberto Finzi, Silvia Rossi, Mariacarla Staffa
Venue: Proceedings of the 2009 Advanced Technologies for Enhanced Quality of Life (2009)

The main goal of our current research is the design of a behavior-based robotic architecture that has the capability of adapting its behaviors to the rate of change of both the environment and its internal states reducing the computational costs of input processing. Inspired by research on biological clocks, we introduced a simple schema theory model where releasing mechanisms are combined with adaptive internal clocks. In this paper, we describe the design and development of a complete robotic architecture implementing this model. In particular, we considered a mobile robot domain that simulates the navigation behavior of a Catagliphys ant enhanced with simple visual capabilities.
A multisensory cortical network for understanding speech in noise
Authors: Christopher W. Bishop, Lee M. Miller
Venue: Journal of Cognitive Neuroscience (2009)

In noisy environments, listeners tend to hear a speaker's voice yet struggle to understand what is said. The most effective way to improve intelligibility in such conditions is to watch the speaker's mouth movements. Here we identify the neural networks that distinguish understanding from merely hearing speech, and determine how the brain applies visual information to improve intelligibility. Using functional magnetic resonance imaging, we show that understanding speech-in-noise is supported by a network of brain areas including the left superior parietal lobule, the motor/premotor cortex, and the left anterior superior temporal sulcus (STS), a likely apex of the acoustic processing hierarchy. Multisensory integration likely improves comprehension through improved communication between the left temporal-occipital boundary, the left medial-temporal lobe, and the left STS. This demonstrates how the brain uses information from multiple modalities to improve speech comprehension in naturalistic, acoustically adverse conditions.
Using AI for e-government automatic assessment of immigration application forms
Authors: Andy Hon Wai Chun
Venue: Proceedings of the 19th national conference on Innovative applications of artificial intelligence - Volume 2 (2007)

This paper describes an e-Government AI project that provides a range of intelligent AI services to support automated assessment of various types of applications submitted to an immigration agency. The "AI Module" is integrated into the agency's next generation application form processing system which includes a workflow and document management system. AI services provided include rule-based assessment, workflow processing, schema-based suggestions, data mining, case-based reasoning, and machine learning. The objective is to use AI to provide faster and higher quality service to millions of citizens and visitors in processing their requests. The AI Module streamlines processes and workflows while at the same time ensuring all applications are processed fairly and accurately and that all relevant laws and regulations have been considered. It greatly shortens turnaround time and indirectly helps facilitate economic growth of the city. This is probably the first time any immigration agency in the world is using AI for automatic application assessment in such a large and broad scale.
Deeply Analysis in Mobile Clients' Consumptive Behavior Based on Data Mining Technology
Authors: Weng Suxiang, Jin Yonsheng
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

In this paper, we discuss and analyze the consumptive behavior based on data mining technology. Firstly, we fully analyze the characteristic of mobile clients' consumptive behaviors. According to these characters, not only one data mining method can be used. Different method has different emphases and results. Secondly, we study how to use data mining technology in the analysis of mobile consumers based on their particular characteristics, especially how to use different methods synthetically to analyze consumers' behaviors in full-sides and enough deepness. The method this paper mentioned has benefit to analyze large numbers of data in consumptive behaviors and provides some instructions to better marketing in concerned fields. It also prompts that using data mining can clean up current pricing packages market to create more practical packages to consumers.
Distributed Quantum Programming
Authors: Ellie D'Hondt, Yves Vandriessche
Venue: Proceedings of the 8th International Conference on Unconventional Computation (2009)

In this paper we explore the structure and applicability of the Distributed Measurement Calculus (DMC), a formal assembly language for distributed measurement-based quantum computations. We describe its syntax and semantics, both operational and denotational, and state several properties that are crucial to the practical usability of our language, such as equivalence of our semantics, as well as compositionality and context-freeness of DMC programs. We show how to put these properties to use by constructing a composite program that implements distributed controlled operations, and demonstrate that the semantics of this program does not change under the various composition operations. Our formal model is meant to be the basis of a virtual machine for distributed quantum computations, where programming execution no longer needs to be analysed by hand, while at the same time formal properties may be relied upon. Several insights on how to move towards this virtual level are given.
Ball and Field Line Detection for Placed Kick Refinement
Authors: Ying Li, Guizhong Liu, Xueming Qian
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

Classifying video content into different semantic granularities is a possible way for flexible video indexing, browsing and retrieval. In this paper, a placed kick refinement algorithm is proposed after semantic based event detection or manually annotation. The placed kick event is further classified into following three types: free kick, corner kick and penalty according to the ball and field lines detection and their relationships determination. Firstly, we carry out ball detection in the global shot of the placed kick event. According to the ball detection results, we further determine whether to detect field lines using Hough transform. Finally, the ball and field lines detection results are integrated in decision making stage. Experimental results show the effectiveness of the proposed method.
Constructive Learning Theory and Designing Principles of CALL Courseware in Different Teaching Modes
Authors: Yang Min, Song Yunxia, Sun Zhuo
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

As an animate learning theory and teaching theory, constructivism has been accepted by many educators and is being widely applied in modern teaching practice. One of its subjects is how to direct the development of instructional software in CALL (Computer-Assisted Language Learning). As a tool in classroom for assisting the teachers and students to implement teaching activities, instructional software should have different formats under different objective conditions and environments, and should have different functions and roles in different modes. However, because CALL has multiplex application modes, it is vital that we just introduce four main modes: classroom teaching, individual learning, the network classroom, distance education and virtual reality. The purpose of this paper is to analyze these five teaching modes and offer correspondent design principles of instructional software based on constructivist learning theory.
Prioritized component systems
Authors: Gerhard Brewka, Ilkka Niemelä, Mirosław Truszczynski
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 2 (2005)

We introduce a flexible framework to specify problem solutions (outcomes) and preferences among them. The proposal combines ideas from answer-set programming (ASP), answer-set optimization (ASO) and CP-nets. The problem domain is structured into components. ASP techniques are used to specify values of components, as well as global (intercomponent) constraints among these values. ASO methods are used to describe preferences among the values of a component and CP-net techniques to represent intercomponent dependencies and corresponding preferences.
A utility-theoretic approach to privacy and personalization
Authors: Andreas Krause, Eric Horvitz
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 2 (2008)

Online services such as web search, news portals, and e-commerce applications face the challenge of providing high-quality experiences to a large, heterogeneous user base. Recent efforts have highlighted the potential to improve performance by personalizing services based on special knowledge about users. For example, a user's location, demographics, and search and browsing history may be useful in enhancing the results offered in response to web search queries. However, reasonable concerns about privacy by both users, providers, and government agencies acting on behalf of citizens, may limit access to such information. We introduce and explore an economics of privacy in personalization, where people can opt to share personal information in return for enhancements in the quality of an online service. We focus on the example of web search and formulate realistic objective functions for search efficacy and privacy. We demonstrate how we can identify a near-optimal solution to the utility-privacy tradeoff. We evaluate the methodology on data drawn from a log of the search activity of volunteer participants. We separately assess users' preferences about privacy and utility via a large-scale survey, aimed at eliciting preferences about peoples' willingness to trade the sharing of personal data in returns for gains in search efficiency. We show that a significant level of personalization can be achieved using only a small amount of information about users.
Culture Design of Information Architecture for B2C E-Commerce Websites
Authors: Wan Abdul Wan Mohd. Isa, Nor Laila Md. Noor, Shafie Mehad
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

Culture is widely treated as an essential factor for the success of e-commerce, yet the concept itself is still clouded in bewilderment. Furthermore, there has been little research on usage behavior in the context of developing countries; e.g., Islamic countries. By using Islamic culture as the case study, this study highlights the website information architecture practical design indication and reports the partial analysis of the investigation on how culture design of information architecture (IA) for B2C e-commerce website will has a positive affect to the user performance tasks (browsing, searching and purchasing books activities). Analyses of one-way between-groups multivariate analysis of variance (one-way MANOVA) and paired-samples t-test were performed. The result showed that the task time performance of the Middle East and the Malaysian users are different and faster when using the culture centred e-commerce website. Thus, provides empirical evidence on the positive influence of culturally design website to performance.
Developing a Validation Methodology for Educational Driving Simulators and a Case Study
Authors: Hatice Sancar, Kursat Cagiltay, Veysi Isler, Gizem Tamer, Neslihan Ozmen, Utkan Eryilmaz
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part IV: Interacting in Various Application Domains (2009)

The aim of this study is to develop a methodology for validating driving simulators in terms of simulator usability. The methodology was used to validate a truck simulator designed for training truck drivers about economic fuel consumption. The participants were eight truck drivers. Interview and observation methods were used to gather data. The results of the study showed that drivers did not have difficulty to recognize the parts of the driving simulator. Also, they stated that driving the simulator was easy. However, they said that they had some difficulties to use some systems of the simulator.
Coordination in conversation and rapport
Authors: Justine Cassell, Alastair J. Gill, Paul A. Tepper
Venue: Proceedings of the Workshop on Embodied Language Processing (2007)

We investigate the role of increasing friendship in dialogue, and propose a first step towards a computational model of the role of long-term relationships in language use between humans and embodied conversational agents. Data came from a study of friends and strangers, who either could or could not see one another, and who were asked to give directions to one-another, three subsequent times. Analysis focused on differences in the use of dialogue acts and non-verbal behaviors, as well as co-occurrences of dialogue acts, eye gaze and head nods, and found a pattern of verbal and nonverbal behavior that differentiates the dialogue of friends from that of strangers, and differentiates early acquaintances from those who have worked together before. Based on these results, we present a model of deepening rapport which would enable an ECA to begin to model patterns of human relationships.
Personal Services: Debating the Wisdom of Personalisation
Authors: Helen Ashman, Tim Brailsford, Peter Brusilovsky
Venue: Proceedings of the 8th International Conference on Advances in Web Based Learning (2009)

Personalisation has been seen as the answer to the vast quantity of information now available digitally. Information is tailored to meet each user's apparent needs, whether making use of Web-based learning materials, purchasing from online sites, accessing entertainment products or any other potentially-personalisable facility. Yet before rushing headlong into personalising everything, including online learning systems, we need to consider the threats posed by the capture of so much data about individuals, the implications of personalised information delivery, and whether the benefits of personalisation justify the costs. In this paper, we look at both the issues and benefits of personalisation, and consider how to steer our way to a safe and valuable use of personalisation.
Logic Data Model Used to Describe the Whole Lifecycle of Materials
Authors: Qingmei Wang, Peng Shi, Lijun Zhang
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

Materials database is widely used in materials science nowadays. It can be used to manage the lifecycle of materials, to accomplish the material data sharing, and to save time and cost spending on experiments for users. However, since properties of materials are often affected by the constructed structures and their service environments, it is difficult to describe those properties properly by database.Fortunately, the Logic Data Model is very helpful in describing and managing the whole lifecycle of materials, from the beginning of materials production, to structure construction, till the failure of structure and materials. Usually, LDM describes data in three steps. Firstly, it collects data from different resources including experiment result data, basic scientific data (such as basic properties, structures and chemical composition, etc), regular numeric methods and information about their service environments, and so on. Then, it organizes all the collected data using an object-oriented design method and unified logic language. At last, the organized data is saved in a data warehouse using more abstract, more unified and stable structures. Thus, it can support many analysis methods, and build the former basis for realizing intelligent application, and suppose an efficient way to manage and analyze the experiment data.This paper has built a LDM for the service safety evaluation of civil buildings. This model is expressed by model-specified definition language, which has super classes, classes, objects and their interactions and constraints etc. Several super classes are derived from the procedure of the service safety evaluation. They are Evaluation Objects (Interest Objects), Evaluation Activities, and Properties. Thus, a network, reflecting the elements’ relationships we interested in, has become true. It describes the logic relationships of data and supposes a background meaning to each data, which the LDM just works on. This paper focuses on how to accomplish the LDM. By using this model, the description of the data in materials database becomes very easy and simple. Furthermore, properties of any materials can be traced properly, which is very important to batch processing the defected components.
Combining Activity Theory and Grounded Theory for the Design of Collaborative Interfaces
Authors: Christine Rivers, Janko Calic, Amy Tan
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

In remote tabletop collaboration multiple users interact with the system and with each other. Thus, two levels of interaction human-computer interaction and human-human interaction exist in parallel. In order to improve remote tabletop systems for multiple users both levels have to be taken into account. This requires an in-depth analysis achieved by qualitative methods. This paper illustrates how a combination of Activity Theory and Grounded Theory can help researchers and designers to improve and develop better collaborative interfaces. Findings reported here are based on three video recordings that have been collected during a quasi-experiment.
Multi-view Object Detection Based on Spatial Consistency in a Low Dimensional Space
Authors: Gurman Gill, Martin Levine
Venue: Proceedings of the 31st DAGM Symposium on Pattern Recognition (2009)

This paper describes a new approach for detecting objects based on measuring the spatial consistency between different parts of an object. These parts are pre-defined on a set of training images and then located in any arbitrary image. Each part is represented by a group of densely sampled SIFT features. Supervised Locally Linear Embedding is then used to describe the appearance of each part in a low dimensional space. The novelty of this approach is that linear embedding techniques are used to model each object part and the background in the same coordinate space. This permits the detection algorithm to explicitly label test features as belonging to an object part or background. A spatial consistency algorithm is then employed to find object parts that together provide evidence for the location of object(s) in the image. Experiments on the 3D and PASCAL VOC datasets yield results comparable and often superior to those found in the literature.