ppxscal/embedding_network huggingface dataset:
Discovering admissible models of complex systems based on scale-types and identity constraints
Authors: Takashi Washio, Hiroshi Motoda
Venue: Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2 (1997)

SDS is a discovery system from numeric measurement data. It outperforms the existing systems in every aspect of search efficiency, noise tolerancy, credibility of the resulting equations and complexity of the target system that it can handle. The power of SDS comes from the use of the scale-types of the measurement data and mathematical property of identity by which to constrain the admissible solutions. Its algorithm is described with a complex working example and the performance comparison with other systems are discussed.
An empirical study of factors affecting the perceived usability of websites for student Internet users
Authors: Robert J. Nathan, Paul H. P. Yeow
Venue: Universal Access in the Information Society (2009)

This study analysed Student Internet Users&#x2019; (SIUs&#x2019;) perception of Web usability. Adopting a user testing method, seven Web Usability Factors (WUFs) were tested for their significance in affecting the ease of use of website. Several elements in websites were also tested for their significance in affecting the WUFs. Result shows the most significant WUF is related to the aesthetic appeal of a website, i.e., Use of Colour and Font. However, it was found that most Web developers are not focusing on this important WUF. Elements such as site map, site search, product image catalogue and others were also found to positively affect SIUs&#x2019; perception of the WUFs. The results presented in this paper can be used as guidelines for designing usable websites for SIUs.
Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment
Authors: Bart Jacobs, Wolter Pieters
Venue: Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures (2009)

This paper discusses how electronic voting was implemented in practice in the Netherlands, which choices were made and how electronic voting was finally abolished. This history is presented in the context of the requirements of the election process, as well as the technical options that are available to increase the reliability and security of electronic voting.
Robust Compensation Control of Mobile Manipulator Service Robot
Authors: Chi-wu Bu, Li-xun Zhang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

A robust compensation control is proposed as anapproach for the robust motion control of a mobilemanipulator service robot comprising a mobile platform with atwo-link arm mounted on top of the platform. Considering thecoupling disturbance between the platform and themanipulator, nominal model of service robot is built, computedtorque and proportion-differential (PD) feedback controlmethod is presented, non-linear feedback is used to decouplethe control system. Aiming at the modeling uncertainty andexisting uncertainties disturbances, compensation is adoptedfor the built control law. Lyapunov method is adopted todetermine the compensation item, and by these, the robustmotion control of the mobile manipulator service robot isrealized. Simulation experiment had been done for the mobileplatform and the manipulator, experiment results show that,the presented control method can realize the robust control ofmobile manipulator service robot, and thus show theeffectiveness and correctness of the designed controller.
Understanding how people use publicly available online services for work
Authors: Toni Ferro, Katie Derthick, Jonathan T. Morgan, Elly Searle, Mark Zachry
Venue: Proceedings of the 27th ACM international conference on Design of communication (2009)

How are knowledge workers integrating web-based tools into their work? Where do they spend their time while online at work? Reporting the results of an annual national survey of knowledge workers, this poster offers insight into the current state of distributed knowledge work.
Designing Emotional and Interactive Behaviors for an Entertainment Robot
Authors: Yo Chan Kim, Hyuk Tae Kwon, Wan Chul Yoon, Jong Cheol Kim
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques (2009)

In the process of developing an entertainment robot, Mon-e, we represented the robot's emotional and interactive behaviors in the form of scripts. A unified model was established to manage all the different scripts. We designed the personality profile to possess two dimensions of criteria for script selection. Emotion variable was introduced to create a variety of robot behavior according to the context. Reinforcing mechanisms of the personality profile and the emotion variable were developed.
Dynamic characteristics of steel-deck composite floors under human-induced loads
Authors: S. Sandun De Silva, David P. Thambiratnam
Venue: Computers and Structures (2009)

This paper treats the dynamic characteristics of a multi-panel floor system under human-induced loads, using finite element techniques. Load models with variable parameters of intensity, foot contact ratio, frequency and damping are developed and applied as pattern loads. Panel response in terms of deflections and accelerations are evaluated and used to assess the panel for suitable occupancies. Results indicate the occurrence of multimodal vibration in these structures and the importance of applying pattern loads to capture these modes. Vibration caused by the higher harmonics of the activity frequency can also cause discomfort and excessive deflections in the floor panels.
Realizing the CDL Cross-Domain Language in the Ponder2 Policy Framework: Experiences and Research Directions
Authors: Roshan K. Thomas, Giovanni Russello, Simon Tsang
Venue: Proceedings of the 2009 IEEE International Symposium on Policies for Distributed Systems and Networks (2009)

In this paper, we first present the design of the Cross-Domain Language (CDL), the first attempt to date to design a high-level end-user language for the specification of cross-domain information-release policies. We then discuss our experiences and lessons learned in implementing CDL policies on lower-level general-purpose language frameworks such as Ponder2 and highlight future directions for language design. CDL addresses the need for a high level, understandable and interoperable language targeted at policy management staff such as dissemination and release officers, security officers etc., as opposed to software developers. The ease of policy specification in CDL comes from the fact that policies are centered on the ontologies and metaphors of cross-domain information release. Combining this with the mature and time-tested features offered by general-purpose policy specification and execution environments such as Ponder2 will allow for the rapid prototyping of interoperable and efficient cross-domain solutions.
Useful, Social and Enjoyable: Mobile Phone Adoption by Older People
Authors: Mario Conci, Fabio Pianesi, Massimo Zancanaro
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I (2009)

The paper presents an empirical model of acceptance of mobile phones by elderly people. It is based on an extension of the widely used TAM-Technology Acceptance Model and aims specifically at investigating the relationship among intrinsic and extrinsic motivations to use. The data consists of 740 questionnaires from people over 65 years old. The validated model shows that intrinsic motivations play an important role albeit always mediated by utilitarian motives. Similarly, it emerges a strong influence of the reference social group (children and relatives) in increasing the utilitarian values of the use of mobile phones. These findings suggest that mobile phone usage by elderly might not be, after all, too much different, from a motivational point of view, from that of younger or adult people.
Semantic Based Text Classification of Patent Documents to a User-Defined Taxonomy
Authors: Ashish Sureka, Pranav Prabhakar Mirajkar, Prasanna Nagesh Teli, Girish Agarwal, Sumit Kumar Bose
Venue: Proceedings of the 5th International Conference on Advanced Data Mining and Applications (2009)

We present a generic approach for semantic based classification of text documents to pre-defined categories. The proposed technique is applied to the domain of patent analytics for the purpose of classifying a collection of patent documents to one or many nodes in a user-defined taxonomy. The proposed approach is a multi-step process consisting of noun extraction, word sense disambiguation, semantic relatedness computation between pair of words using WordNet and confidence score computation. The proposed algorithm resulted in good accuracy on experimental dataset and can be easily adapted and customized to other domains other the patent landscape analysis domain discussed in this paper.
A New Constant Storage Self-healing Key Distribution with Revocation in Wireless Sensor Networks
Authors: Wei Du, Mingxing He, Xiao Li
Venue: Proceedings of the 9th International Conference on Algorithms and Architectures for Parallel Processing (2009)

A self-healing key distribution scheme enables the non-revoked users with the received broadcast messages and their private information to recover the missed group session keys on their own without requiring the group manager to retransmit the missed broadcast messages. In this paper, we construct a new structure to broadcast message to realize the self-healing key distribution. It is shown that the proposed scheme realizes the properties such as constant storage, forward secrecy and backward secrecy. Moreover, the proposed scheme has the property of long life-span of the user's personal secret key, so that the user's personal secret key is not restricted to a fixed sessions in the setup phase and can be used until the user revoked from the group. Finally, we will present that the proposed scheme is more practical and efficient than some existing schemes.
Evaluation of Prediction Capability of Non-recursion Type 2nd-order Volterra Neuron Network for Electrocardiogram
Authors: Shunsuke Kobayakawa, Hirokazu Yokoi
Venue: Advances in Neuro-Information Processing: 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II (2009)

The prediction accuracy of QRS wave that show electric excitement by the ventricle of the heart is low in linear predictions of electrocardiogram (ECG) used a conventional linear autoregressive model, and it is a problem that the prediction accuracy is not improved even if the prediction order is set second and third or more. The causes are that QRS wave generated by the nonlinear generation mechanism and the nonlinear components which the linear models cannot predict is included in ECG. Then, Non-recursion type 1st-order Volterra neuron network (N1VNN) and Non-recursion type 2nd-order Volterra neuron network (N2VNN) were evaluated about nonlinear prediction accuracies for ECG. The results of comparing nonlinear predictions of both networks showed that N2VNN is 17.6 % smaller about the minimum root mean square error indicating prediction accuracy than N1VNN.
Toward interactive learning of object categories by a robot: A case study with container and non-container objects
Authors: Shane Griffith, Jivko Sinapov, Matthew Miller, Alexander Stoytchev
Venue: Proceedings of the 2009 IEEE 8th International Conference on Development and Learning (2009)

This paper proposes an interactive approach to object categorization that is consistent with the principle that a robot's object representations should be grounded in its sensorimotor experience. The proposed approach allows a robot to: 1) form object categories based on the movement patterns observed during its interaction with objects, and 2) learn a perceptual model to generalize object category knowledge to novel objects. The framework was tested on a container/non-container categorization task. The robot successfully separated the two object classes after performing a sequence of interactive trials. The robot used the separation to learn a perceptual model of containers, which, which, in turn, was used to categorize novel objects as containers or non-containers.
Study on Resource and Environment Scientific Research Data Archiving Case Study for National Basic Research Program of China
Authors: Wang Juanle, Zhu Yunqiang, Song Jia, Yang Yaping
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

The National Basic Research Program of China (also called 973 Program) is China's on-going national keystone basic research program. Based on deep consideration, Research projects in resource and environment field of 973 Program are selected as a pilot engineering for data archiving and sharing. Based on actual practices, the paper will introduce the general background, data archiving phases, data archiving metadata standard and tool kits, data archiving content and data sharing platform web oriented.
Search versus knowledge for solving life and death problems in Go
Authors: Akihiro Kishimoto, Martin Müller
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 3 (2005)

In games research, Go is considered the classical board game that is most resistant to current AI techniques. Large-scale knowledge engineering has been considered indispensable for building state of the art programs, even for subproblems such as Life and Death, or tsume-Go. This paper describes the technologies behind TSUMEGO EXPLORER, a high-performance tsume-Go search engine for enclosed problems. In empirical testing. this engine outperforms GoTools. which has been the undisputedly best tsume-Go program for 15 years.
A Study into Preferred Explanations of Virtual Agent Behavior
Authors: Maaike Harbers, Karel Bosch, John-Jules Ch. Meyer
Venue: Proceedings of the 9th International Conference on Intelligent Virtual Agents (2009)

Virtual training systems provide an effective means to train people for complex, dynamic tasks such as crisis management or firefighting. Intelligent agents are often used to play the characters with whom a trainee interacts. To increase the trainee's understanding of played scenarios, several accounts of agents that can explain the reasons for their actions have been proposed. This paper describes an empirical study of what instructors consider useful agent explanations for trainees. It was found that different explanations types were preferred for different actions, e.g. conditions enabling action execution, goals underlying an action, or goals that become achievable after action execution. When an action has important consequences for other agents, instructors suggest that the others' perspectives should be part of the explanation.
Car License Plate Location Based on the Density and Projection
Authors: Jun Ren Su, Zheng Ma
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

License plate location is one of the key link in the license plate recognition process. Whether the plate location is successful andhow accurate is the location decide directly the recognition and the effects in the latter part. For the license plate area has a high density difference in the difference image,we have put forward an algorithm for the license plate location based on the density and projection. The results show that this method can quickly and correctly locate the license plate area.
Generating hypotheses about molecular structure&ndash;activity relationships (SARs) by solving an optimization problem
Authors: Junshui Ma, Christopher Tong, Andy Liaw, Robert Sheridan, John Szumiloski, Vladimir Svetnik
Venue: Statistical Analysis and Data Mining (2009)

This paper proposes a new automatic hypothesis-generation algorithm for structure&ndash;activity relationship (SAR) rules, which is capable of investigating chemical compound activities in the context of multiple substructure interactions. The algorithm is formulated as an optimization problem based on a carefully selected criterion, APostDiff(s), and the globally optimal solution to the optimization problem can be obtained with a fast search algorithm developed using the data-mining concept known as frequent set. Three public datasets are used to demonstrate the proposed method. Copyright &copy; 2009 Wiley Periodicals, Inc. Analysis and Data Mining 1: 161-174, 2009
Model Checking as A Reachability Problem
Authors: Moshe Y. Vardi
Venue: Proceedings of the 3rd International Workshop on Reachability Problems (2009)

Model checking is a essentially a graph-searching problem. In automata-theoretic model checking we compose the design under verification with a Büchi automaton that accepts traces violating the specification. We then use graph algorithms to search the product graph for a counterexample trace. The basic theory of this approach was worked out in the 1980s, and the basic algorithms were developed during the 1990s. Both explicit and symbolic implementations, such as SPIN and and SMV, are widely used. It turns out, however, that there are still many gaps in our understanding of the algorithmic issues involved in automata-theoretic model checking. This talk covers the fundamentals of automata-theoretic model checking, reviews recent progress, and outlines areas that require further research.
Temporal Data Mining of HIV Registries: Results from a 25 Years Follow-Up
Authors: Paloma Chausa, César Cáceres, Lucia Sacchi, Agathe León, Felipe García, Riccardo Bellazzi, Enrique J. Gómez
Venue: Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine (2009)

The Human Immunodeficiency Virus (HIV) causes a pandemic infection in humans, with millions of people infected every year. Although the Highly Active Antiretroviral Therapy reduced the number of AIDS cases since 1996 by significantly increasing the disease-free survival time, the therapy failure rate is still high due to HIV treatment complexity. To better understand the changes in the outcomes of HIV patients we have applied temporal data mining techniques to the analysis of the data collected since 1981 by the Infectious Diseases Unit of the Hospital Clínic in Barcelona, Spain. We run a precedence temporal rule extraction algorithm on three different temporal periods, looking for two types of treatment failures: viral failure and toxic failure, corresponding to events of clinical interest to assess the treatment outcomes. The analysis allowed to extract different typical patterns related to each period and to meaningfully interpret the previous and current behaviour of HIV therapy.
Hardware Design of Japanese Hand Sign Recognition System
Authors: Hiroomi Hikawa, Hirotada Fujimura
Venue: Advances in Neuro-Information Processing: 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II (2009)

This paper discusses the hardware design and implementation of a hand sign recognition system with a simplified discrete Fourier transforms (DFTs) that calculate the magnitude spectrum. Two alternative hardware design solutions that implement the system are proposed. One uses parallel classifier network, the other uses serial one. With the parallel network, the circuit size of the recognition system is over 280,000-gate while the system with the serial classifier network requires about 90,000-gate of hardware resources. Regarding the operating speed, it has been revealed that the operation speed of the both system is quick enough to process NTSC video frame in real time.
Communication Grill/Salon: Hybrid Physical/Digital Artifacts for Stimulating Spontaneous Real World Communication
Authors: Koh Sueda, Koji Ishii, Takashi Miyaki, Jun Rekimoto
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part III: Ubiquitous and Intelligent Interaction (2009)

One of the problems encountered in face-to-face communication involves conversational imbalances among the participants caused by differences in conversational interests and social positions. It is common for us not to be able to communicate well with an unfamiliar person. On the other hand, old customs in the real world, such as the Japanese tea ceremony, effectively use physical artifacts to enable smoother conversation. In this project, we designed two communication systems that facilitate casual communication using physical/digital artifacts, such as a meal and text-chat, in order to clarify that real world communication can be supported by digital technology. The first system, called the "Communication Grill," connects a grill for cooking meat to a chat system. The grill is heated by the chatting activity. Thus, people must continue conversing to roast the meat. The second system is called the "Communication Salon." It is a computer-enhanced tea ceremony with a chat screen displayed at a tearoom. Using these systems, we conducted user evaluations at SIGGRAPH and other open events. Based on the chat logs at these events, we found that conversational topics gradually shifted from topics about the systems to more general topics. An analysis of these chat logs revealed that the participants began to communicate spontaneously using this system.
The segmentation problem in morphology learning
Authors: Christopher D. Manning
Venue: Proceedings of the Joint Conferences on New Methods in Language Processing and Computational Natural Language Learning (1998)

Recently there has been a large literature on various approaches to learning morphology, and the success and cognitive plausibility of different approaches (Rumelhart and McClelland (1986), MacWhinney and Leinbach (1991) arguing for connectionist models, Pinker and Prince (1988), Lachter and Bever (1988), Marcus et al. (1992) arguing against connectionist models, Ling and Marinov (1993), Ling (1994) using ID3/C4.5 decision trees, and Mooney and Califf (1995, 1996) using inductive logic programming/decision lists, among others). However - except for a couple of forays into German - this literature has been exclusively concerned with the learning of the English past tense. This has not worried some. Ling is happy to describe it as "a landmark task". But while the English past tense has some interesting features in its combination of regular rules with semi-productive strong verb patterns, it is in many other respects a very trivial morphological system - reflecting the generally vestigal nature of inflectional morphology within modern English.
Nonapproximability results for partially observable Markov decision processes
Authors: Christopher Lusena, Judy Goldsmith, Martin Mundhenk
Venue: Journal of Artificial Intelligence Research (2001)

We show that for several variations of partially observable Markov decision processes, polynomial-time algorithms for finding control policies are unlikely to or simply don't have guarantees of finding policies within a constant factor or a constant summand of optimal. Here "unlikely" means "unless some complexity classes collapse," where the collapses considered are P = NP, P = PSPACE, or P = EXP. Until or unless these collapses are shown to hold, any control-policy designer must choose between such performance guarantees and efficient computation.