ppxscal/embedding_network huggingface dataset:
Horn complements: towards horn-to-horn belief revision
Authors: Marina Langlois, Robert H. Sloan, Balázs Szörényi, György Thrán
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is concerned with efficiency--of computing inferences, of knowledge acquisition, etc. Horn-to-Horn belief revision could be of interest, in particular, as a component of any efficient system requiring large commonsense knowledge bases that may need revisions because, for example, new contradictory information is acquired. Recent results on belief revision for general logics show that the existence of a belief contraction operator satisfying the generalized AGM postulates is equivalent to the existence of a complement. Here we provide a first step towards efficient Horn-to-Horn belief revision, by characterizing the existence of a complement of a Horn consequence of a Horn knowledge base. A complement exists if and only if the Horn consequence is not the consequence of a modified knowledge base obtained from the original by an operation called body building. This characterization leads to the efficient construction of a complement whenever it exists.
Embedded Laboratory Environment Monitor System
Authors: Jiang Linying, Zhu Zhiliang, Li Hailong, Guo Zhenhua
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

This paper presents an introduction of an embedded processor-based laboratory environment monitor system and its design for hardware and software. This system aims at completing monitoring a variety of real-time data and the states of laboratory, judging environmental index automatically, and detecting intrusions from outside companied with sound and light alarm. To sum up, this system achieves the intelligent management of laboratory. By wired or wireless means, the laboratory monitoring system can communicate with PC and realize telemetry, meeting the needs of unmanned laboratory.
Evaluating E-Commerce User Interfaces: Challenges and Lessons Learned
Authors: Rainer Blum, Karim Khakzar
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

This paper presents lessons learned from a user interface evaluation - concerning the applied methodical approach. Four alternative implementations of product catalogue navigation and presentation components for online clothing shops were evaluated in a comparative study. The resulting rather complex experimentation setting revealed interesting issues for the design of similar experiments. After describing the study's methodical setup the paper analysis relevant aspects of the applied approach. Finally, lessons learned are derived that are of relevance for user interface testing methodology in related contexts.
AirMouse: Finger Gesture for 2D and 3D Interaction
Authors: Michael Ortega, Laurence Nigay
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

This paper presents AirMouse, a new interaction technique based on finger gestures above the laptop's keyboard. At a reasonably low cost, the technique can replace the traditional methods for pointing in two or three dimensions. Moreover, the device-switching time is reduced and no additional surface than the one for the laptop is needed. In a 2D pointing evaluation, a vision-based implementation of the technique is compared with commonly used devices. The same implementation is also compared with the two most commonly used 3D pointing devices. The two user experiments show the benefits of the polyvalent technique: it is easy to learn, intuitive and efficient by providing good performance. In particular, our conducted experiment shows that performance with AirMouse is promising in comparison with a touchpad and with dedicated 3D pointing devices. It shows that AirMouse offers better performance as compared to FlowMouse, a previous solution using fingers above the keyboard.
Adaptive Work-Centered and Human-Aware Support Agents for Augmented Cognition in Tactical Environments
Authors: Martijn Neef, Peter-Paul Maanen, Peter Petiet, Maartje Spoelstra
Venue: Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009 (2009)

We introduce a support system concept that offers both work-centered and human-aware support for operators in tactical command and control environments. The support system augments the cognitive capabilities of the operator by offering instant, personalized task and work support. The operator obtains support by entering into a collaborative agreement with support agents. Such an agreement creates opportunities to establish adaptive capabilities and human-aware support features. We describe the concept in and propose an experimental design to evaluate its effectiveness in tactical environments.
Filtering Fitness Trail Content Generated by Mobile Users
Authors: Fabio Buttussi, Luca Chittaro, Daniele Nadalutti
Venue: Proceedings of the 17th International Conference on User Modeling, Adaptation, and Personalization: formerly UM and AH (2009)

This paper proposes a novel trail sharing system for mobile devices that deals with context information collected by sensors, as well as users' personal opinions (e.g., landscape beauty) specified by ratings. To help the user in finding trails that are more suited to her, the system exploits a collaborative filtering approach to predict the ratings users may give to untried trails, and applies a similar approach also to context information that can significantly vary among users (e.g., lap duration).
Linear Algebra with Sub-linear Zero-Knowledge Arguments
Authors: Jens Groth
Venue: Proceedings of the 29th Annual International Cryptology Conference on Advances in Cryptology (2009)

We suggest practical sub-linear size zero-knowledge arguments for statements involving linear algebra. Given commitments to matrices over a finite field, we give a sub-linear size zero-knowledge argument that one committed matrix is the product of two other committed matrices. We also offer a sub-linear size zero-knowledge argument for a committed matrix being equal to the Hadamard product of two other committed matrices. Armed with these tools we can give many other sub-linear size zero-knowledge arguments, for instance for a committed matrix being upper or lower triangular, a committed matrix being the inverse of another committed matrix, or a committed matrix being a permutation of another committed matrix.A special case of what can be proved using our techniques is the satisfiability of an arithmetic circuit with N gates. Our arithmetic circuit zero-knowledge argument has a communication complexity of $O(\sqrt{N})$ group elements. We give both a constant round variant and an O(logN) round variant of our zero-knowledge argument; the latter has a computation complexity of O(N/logN) exponentiations for the prover and O(N) multiplications for the verifier making it efficient for the prover and very efficient for the verifier. In the case of a binary circuit consisting of NAND-gates we give a zero-knowledge argument of circuit satisfiability with a communication complexity of $O(\sqrt{N})$ group elements and a computation complexity of O(N) multiplications for both the prover and the verifier.
The Effect of Variable Base on Perceiving Gender Kansei of 3D-Shape
Authors: R. P. C. Janaka Rajapakse, Harinda Jayasinghe, Yoshimasa Tokuyama, Kazunori Miyata, Ashu Marasinghe
Venue: Proceedings of the 2009 International Conference on Biometrics and Kansei Engineering (2009)

The appearance of a product has led to a trend for a consumer to purchase a product. Some products have shapes or parts that don't fulfill the consumer's desires and needs.This mean that often, choice of a consumer is inspired by the shape of a product. Therefore, It might be interesting to study on perception of shape in terms of semantic associations. The aim of this study is to investigate people's perception on gender of 3D-shape in terms of semantic association such as "feminine" or "masculine". In this paper we observed the effect of variable base on perceiving gender kansei of 3D-shapes. To assess base-variance of 3D-shape, we examined whether convexity and concavity of base in the context of sharp and curved forms. Results of our psychophysical experiment will be very important and helpful in the kansei-driven design.
Design of adaptive filter using Jordan/Elman neural network in a typical EMG signal noise removal
Authors: V. R. Mankar, A. A. Ghatol
Venue: Advances in Artificial Neural Systems (2009)

The bioelectric potentials associated with muscle activity constitute the electromyogram (EMG). These EMG signals are low-frequency and lower-magnitude signals. In this paper, it is presented that Jordan/Elman neural network can be effectively used for EMG signal noise removal, which is a typical nonlinear multivariable regression problem, as compared with other types of neural networks. Different neural network (NN) models with varying parameters were considered for the design of adaptive neural-network-based filter which is a typical SISO system. The performance parameters, that is, MSE, correlation coefficient, N/P, and t, are found to be in the expected range of values.
Computer Aided Analysis of Planting Mechanism of the Seedling Transplanter
Authors: Ting-ting Liu, Shu-lin Hou, Xi Zhao, Li-juan Yin, Cheng-gang Yin, Qi-feng Wang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

In this paper, we discuss the seedling planting mechanism which is applied in transplantation of baccy, corn、beet, eggplant, tomato, cotton Conclusions Etc. A mathematic model of the seedling transplanting mechanism is established and the model is calculated&simulated with MATLAB. By means of this model, the analysis for the movement of the mechanism became Intuitive and visible. And this model could also provide bases for choosing the rational parameters of transplanting mechanism and enhancing its transplanting performance. According to the agronomy requirement of seedlings transplantation, we optimally design the key component that is suitable for the seedling transplanting mechanism, analyze and study the universal law of the mechanical planting and find the main factors that affect the transplanting performance.
Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System
Authors: Josh Dehlinger, Robyn R. Lutz
Venue: Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering (2009)

The reuse of product-line assets enables efficiencies in development time and cost. Safety analysis techniques for Software Product-Line Engineering (SPLE) construct safety-related, non-code artifacts with the aim of reusing these assets for new product-line members. In this paper we describe results from the construction and reuse of a key safety-analysis technique, Product-line Software Fault Tree Analysis (PL-SFTA), and its supporting tool, PLFaultCAT. The main contribution of this work is the evaluation of PL-SFTA and PLFaultCAT for the reuse of safety analysis assets in a product line. The context is a safety-critical product line of spacecraft developed as a multi-agent system.
Hierarchical Ontology on Multi-scale Road Model for Cartographical Application
Authors: Yan-hui Wang, Hao Meng
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

Since many differences may arise in cognition, abstraction and representation during multi-scale road network compositive modeling, this paper proposes an hierarchical ontology-based multi-scale entity-Relation modeling strategy, it considers ontology integration from the bottom level-general ontology in geographical science, to task ontology for road network features cognition, definition,abstraction, and to the top level-application this level, at which this paper proposes in detail the multi-hierarchical ontology abstraction mechanism. Based on which an Entity-Relation analysis is made systemically, including the number of entities and entity relations at each scale, as well as the relation among the entities classes from adjacent scales. And at last, using multi-scale representations of road features as an example, the feasibility of an ontology-based modeling method is verified.
Lacking Labels in the Stream: Classifying Evolving Stream Data with Few Labels
Authors: Clay Woolam, Mohammad M. Masud, Latifur Khan
Venue: Proceedings of the 18th International Symposium on Foundations of Intelligent Systems (2009)

This paper outlines a data stream classification technique that addresses the problem of insufficient and biased labeled data. It is practical to assume that only a small fraction of instances in the stream are labeled. A more practical assumption would be that the labeled data may not be independently distributed among all training documents. How can we ensure that a good classification model would be built in these scenarios, considering that the data stream also has evolving nature? In our previous work we applied semi-supervised clustering to build classification models using limited amount of labeled training data. However, it assumed that the data to be labeled should be chosen randomly. In our current work, we relax this assumption, and propose a label propagation framework for data streams that can build good classification models even if the data are not labeled randomly. Comparison with state-of-the-art stream classification techniques on synthetic and benchmark real data proves the effectiveness of our approach.
Pattern Recognition Strategies for Interactive Sketch Composition
Authors: Sébastien Macé, Eric Anquetil
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques (2009)

The design of industrial pen-based systems for sketch composition and interpretation is still a challenging problem when dealing with complex domains. In this paper, we present a method that is based on an eager interpretation of the user strokes, i.e. on an incremental process with visual feedback to the user. We present the benefits of using such an interactive approach in order to design efficient and robust sketch recognition. We focus more specifically on the requirements in order to avoid as much as possible to disturb the user. We show how we exploit pattern recognition strategies, for instance the evaluation of adequacy measures thanks to the fuzzy set theory, the exploitation of reject options, etc., to deal with each of these difficulties. The DALI method that we present in this paper has been used to design an industrial system for the composition of electrical sketches. We show how the presented techniques are used in this system.
Autonomic Success in Database Management Systems
Authors: Basit Raza, Abdul Mateen, Tauqeer Hussain, M. M. Awais
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

One of the primary uses of computer is to reduce cost and manage complexity with increase in efficiency and performance. Now system complexity is reaching a level that is beyond human ability. With the development of technology, people want to manage complex systems in an efficient and reliable manner. Development of raw computing power and proliferation of computer devices and usage of internet has grown up to exponential rates. This growth and unprecedented levels of complexity is leading towards new direction - Autonomic Computing. Autonomic features in system increase speed, efficiency, reliability and accuracy with less or no human interaction, ultimately providing error free environment. These autonomic capabilities are important in Database Management Systems (DBMSs). The DBMSs which have the capability to manage and maintain themselves are called Autonomic Database Management Systems (ADBMS). The ADBMSs are evolving from last many years. At present most of the activities in DBMS are performed autonomically and have achieved certain level of autonomicity. The paper identified some autonomic shortcomings in commercial DBMSs up to 2002. We made a survey on achievements of autonomic computing against these shortcomings in current DBMSs. For this purpose, we have studied and analyzed IBM DB2, Oracle and Microsoft SQL Server.
Designing Tools for Supporting User Decision-Making in e-Commerce
Authors: Alistair Sutcliffe, Faisal Al-Qaed
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

The paper describes a set of tools designed to support a variety of user decision-making strategies. The tools are complemented by an online advisor so they can be adapted to different domains and users can be guided to adopt appropriate tools for different choices in e-commerce, e.g. purchasing high-value products, exploring product fit to users' needs, or selecting products which satisfy requirements. The tools range from simple recommenders to decision support by interactive querying and comparison matrices. They were evaluated in a scenario-based experiment which varied the users' task and motivation, with and without an advisor agent. The results show the tools and advisor were effective in supporting users and agreed with the predictions of ADM (adaptive decision making) theory, on which the design of the tools was based.
3D-Integrated SRAM Components for High-Performance Microprocessors
Authors: Kiran Puttaswamy, Gabriel H. Loh
Venue: IEEE Transactions on Computers (2009)

3D integration is an emergent technology that has the potential to greatly increase device density while simultaneously providing faster on-chip communication. 3D fabrication involves stacking two or more die connected with a very high density and low-latency interface. The die-to-die vias that comprise this interface can be treated as regular on-chip metal due to their small size (on the order of 1 \mu{\rm m}) and high speed (sub-FO4 die-to-die communication delay). The increased device density and the ability to place and route in the third dimension provide new opportunities for microarchitecture design. In this paper, we focus on the 3D-integrated designs of SRAM structures. We show that the dense die-to-die vias enable 3D-integrated SRAM components that are partitioned at the level of individual wordlines or bitlines. This results in a wire length reduction within SRAM arrays, and a reduction in the area footprint, which reduces the wires required for global routing. The wire length reduction provides simultaneous latency and energy reduction benefits, e.g., 47 percent latency reduction and 18 percent energy reduction for a 4 MB 4-die stacked 3D SRAM array. A 3D implementation of a 128-entry multiported SRAM array achieves a 36 percent latency improvement with a simultaneous energy reduction of 55 percent. As planar designs adapt high-performance techniques such as hierarchical wordlines to improve performance, 3D integration provides even larger benefits, making it a desirable technology for high-performance designs. For the 4 MB SRAM array, the 3D-integrated designs provide additional latency reduction benefit over the planar designs when hierarchical wordlines are implemented in both planar and 3D designs.
Utilizing an Accelerometric Bracelet for Ubiquitous Gesture-Based Interaction
Authors: Albert Hein, André Hoffmeyer, Thomas Kirste
Venue: Proceedings of the 5th International on ConferenceUniversal Access in Human-Computer Interaction. Part II: Intelligent and Ubiquitous Interaction Environments (2009)

In this paper we present an approach for recognizing free-handed gestures using an embedded wireless accelerometric bracelet. We developed a very low complexity algorithm which can be directly implemented on the device and operate in real-time. New gestures can be easily added through supervised learning. An evaluation shows the feasibility of our approach. Simple gestures are detected and recognized at a very high rate (> 97%) while more complex ones were misclassified more often (48% --- 95%).
Fractal Analyze Protein Structural Similarity Base on Structural spectrum
Authors: Qi Chen, Yizong He, Baosheng Kang
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

To compare the protein spatial structure, the second-order moment are applied to analysis the protein’s principal component to construct protein three dimensional unified coordinates. Under this coordinates, the protein’s spatial structure are transformed by wavelet to construct protein three dimension spatial structural spectra. Further more, with a fractal analysis of the structural spectra, the three dimensional structure of different protein is compared. Experimental result shows the method is fast and efficient compared with that provided by http://cl.sdsc.edu/, and can be applied in protein structure multi-scale comparison.
Bootstrapping divergence statistics for testing homogeneity in multinomial populations
Authors: V. Alba-Fernández, M. D. Jiménez-Gamero
Venue: Mathematics and Computers in Simulation (2009)

We consider the problem of testing the equality of @n (@n>=2) multinomial populations, taking as test statistic a sample version of an f-dissimilarity between the populations, obtained by the replacement of the unknown parameters in the expression of the f-dissimilarity among the theoretical populations, by their maximum likelihood estimators. The null distribution of this test statistic is usually approximated by its limit, the asymptotic null distribution. Here we study another way to approximate it, the bootstrap. We show that the bootstrap yields a consistent distribution estimator. We also study by simulation the finite sample performance of the bootstrap distribution and compare it with the asymptotic approximation. From the simulations it can be concluded that it is worth calculating the bootstrap estimator, because it is more accurate than the approximation yielded by the asymptotic null distribution which, in addition, cannot always be exactly computed.
A Gas Outburst Prediction Algorithm Based on Choquet Fuzzy Integral
Authors: Qinglin Ma
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 03 (2009)

Since most existing gas monitoring methods depend on the measurement of single sensor, it is difficult to predict gas outburst accurately for the whole mining area. To deal with the problem, a gas outburst prediction algorithm based on the Choquet fuzzy integral is presented. The fuzzy Choquet integral algorithm is used to estimate the whole concentration of gas considering gas concentration and the importance in different locations. In order to reduce the computation burden, q − measure is adopted and the solution to parameterλ in Choquet fuzzy integral is achieved iteratively. Simulation shows the efficiency of the proposed algorithm.
Learning the Similarity Preserving Principal Curves
Authors: Mingming Sun, Jian Yang, Chuancai Liu, Jingyu Yang
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

The theory of Similarity Preserving Principal Curves(also called Principal Curves with Feature Continuity) has been studied. In this paper, we proposed a practical learning algorithm for learning the Similarity Preserving Principal Curves for a general data set. Furthermore, we proposed the concept and learning algorithms of the second-order Similarity Preserving Principal Curves. The learning algorithms are employed to extract efficient features for the data representation tasks. Experimental results show the ability of the proposed learning model and algorithms.