ppxscal/embedding_network huggingface dataset:
Touchless Interaction-Novel Chances and Challenges
Authors: René Barré, Paul Chojecki, Ulrich Leiner, Lothar Mühlbach, Detlef Ruschin
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques (2009)

Touchless or empty-handed gestural input has received considerable attention during the last years because of such benefits as removing the burden of physical contact with an interactive system and making the interaction pleasurable. What is often overlooked is that those special forms of touchless interaction which employ genuine gestures --- defined as movements that have a meaning --- are associated with the danger of suffering from the same drawbacks as command based interfaces do, which have been widely abandoned in favor of direct manipulation interfaces. Touchless direct manipulation, however, is about to reach maturity in certain application fields. In our paper we try to point out why and under which conditions this is going to happen, and how we are working to optimize the interfaces through user tests.
Rural E-BUSINESS Development Research Based on the Banks of Villages and Towns in Heilongjiang Province
Authors: Ma Yubo, Guo Qingran
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

E-business in rural areas as an important aspect of new socialist countryside building, but it has not been given the due attention for a long time in Heilongjiang Province. This article, based on the analysis of the outstanding obstacles of the current development, proposes to construct the rural E-business network based on the banks of villages and towns in Heilongjiang Province, make it as an entry point of the rural E-business development, accumulate experiences for the rural E-business development of underdeveloped areas, and promote national economy to develop well and rapidly.
Semitic morphological analysis and generation using finite state transducers with feature structures
Authors: Michael Gasser
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics (2009)

This paper presents an application of finite state transducers weighted with feature structure descriptions, following Amtrup (2003), to the morphology of the Semitic language Tigrinya. It is shown that feature-structure weights provide an efficient way of handling the templatic morphology that characterizes Semitic verb stems as well as the long-distance dependencies characterizing the complex Tigrinya verb morphotactics. A relatively complete computational implementation of Tigrinya verb morphology is described.
Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata
Authors: Ashish Chiplunkar, Shankara Narayanan Krishna, Chinmay Jain
Venue: Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems (2009)

We consider the model of priced timed automata, an extension of timed automata and study the model checking problem of logic WCTL with multi constrained modalities. For simple modalities, it is known that this is decidable [10] for one clock priced timed automata, and is not [14] when the number of clocks is more than one. For the model of priced timed automata with 2 stopwatch costs having no discrete costs, we give an algorithm for model checking the existential fragment of WCTL with multi constrained modalities. The algorithm runs in time that is doubly exponential in the size of the input(automaton, formula).
Immune Learning in a Dynamic Information Environment
Authors: Nikolaos Nanas, Manolis Vavalis, Lefteris Kellis
Venue: Proceedings of the 8th International Conference on Artificial Immune Systems (2009)

In Adaptive Information Filtering, the user profile has to be able to define and maintain an accurate representation of the user's interests over time. According to Autopoietic Theory, the immune system faces a similar continuous learning problem. It is an organisationally closed network that reacts autonomously to define and preserve the organism's identity. Nootropia is a user profiling model, which has been inspired by this view of the immune system. In this paper, we introduce new improvements to the model and propose a methodology for testing the ability of a user profile to continuously learn a user's changing interests in a dynamic information environment. Comparative experiments show that Nootropia outperforms a popular learning algorithm, especially when more than one topic of interest has to be represented.
Shallow Features for Differentiating Disease-Treatment Relations Using Supervised Learning A Pilot Study
Authors: Dimitrios Kokkinakis
Venue: Proceedings of the 12th International Conference on Text, Speech and Dialogue (2009)

Clinical narratives provide an information rich, nearly unexplored corpus of evidential knowledge that is considered as a challenge for practitioners in the language technology field, particularly because of the nature of the texts (excessive use of terminology, abbreviations, orthographic term variation), the significant opportunities for clinical research that such material can provide and the potentially broad impact that clinical findings may have in every day life. It is therefore recognized that the capability to automatically extract key concepts and their relationships from such data will allow systems to properly understand the content and knowledge embedded in the free text which can be of great value for applications such as information extraction and question answering. This paper gives a brief presentation of such textual data and its semantic annotation, and discusses the set of semantic relations that can be observed between diseases and treatments in the sample. The problem is then designed as a supervised machine learning task in which the relations are tried to be learned using pre-annotated data. The challenges designing the problem and empirical results are presented. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
The neural development of an abstract concept of number
Authors: Jessica F. Cantlon, Melissa E. Libertus, Philippe Pinel, Stanislas Dehaene, Elizabeth M. Brannon, Kevin A. Pelphrey
Venue: Journal of Cognitive Neuroscience (2009)

As literate adults, we appreciate numerical values as abstract entities that can be represented by a numeral, a word, a number of lines on a scorecard, or a sequence of chimes from a clock. This abstract, notation-independent appreciation of numbers develops gradually over the first several years of life. Here, using functional magnetic resonance imaging, we examine the brain mechanisms that 6-and 7-year-old children and adults recruit to solve numerical comparisons across different notation systems. The data reveal that when young children compare numerical values in symbolic and nonsymbolic notations, they invoke the same network of brain regions as adults including occipito-temporal and parietal cortex. However, children also recruit inferior frontal cortex during these numerical tasks to a much greater degree than adults. Our data lend additional support to an emerging consensus from adult neuroimaging, nonhuman primate neurophysiology, and computational modeling studies that a core neural system integrates notation-independent numerical representations throughout development but, early in development, higher-order brain mechanisms mediate this process.
Video Compression for Wireless Transmission: Reducing the Power Consumption of the WPAN Hi-Speed Systems
Authors: Andrey Belogolovy, Eugine Belyaev, Anton Sergeev, Andrey Turlikov
Venue: Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces (2009)

In this paper, we consider the power consumption aspects of video over wireless transmission in wireless personal area networks. We show that lossless and lossy compression always gives power consumption gains if we consider joint power consumption of transmission and compression units.
Predictive exploration for autonomous science
Authors: David R. Thompson
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

Often remote investigations use autonomous agents to observe an environment on behalf of absent scientists. Predictive exploration improves these systems' efficiency with onboard data analysis. Agents can learn the structure of the environment and predict future observations, reducing the remote exploration problem to one of experimental design. In our formulation information gain over a map guides exploration decisions, while a similar criterion suggests the most informative data products for downlink. Ongoing work will develop appropriate models for surface exploration by planetary robots. Experiments will demonstrate these algorithms on kilometer-scale autonomous geology tasks.
Maytag: a multi-staged approach to identifying complex events in textual data
Authors: Conrad Chang, Lisa Ferro, John Gibson, Janet Hitzeman, Suzi Lubar, Justin Palmer, Sean Munson, Marc Vilain, Benjamin Wellner
Venue: Proceedings of the Eleventh Conference of the European Chapter of the Association for Computational Linguistics: Posters & Demonstrations (2006)

We present a novel application of NLP and text mining to the analysis of financial documents. In particular, we describe an implemented prototype, Maytag, which combines information extraction and subject classification tools in an interactive exploratory framework. We present experimental results on their performance, as tailored to the financial domain, and some forward-looking extensions to the approach that enables users to specify classifications on the fly.
An Extended Role-Based Access Control Model for Delegating Obligations
Authors: Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula
Venue: Proceedings of the 6th International Conference on Trust, Privacy and Security in Digital Business (2009)

The main aim of access control models is to provide means to simplify the management of the security policy, which is a fastidious and error-prone task. Supporting delegation is considered as an important mean to decentralize the administration and therefore to allow security policy to be more flexible and easier to manipulate. Our main contribution is the proposition of a unified model to the administration and delegation of obligations. Managing such delegations implies more requirements than managing traditional privileges delegation. In fact, delegating obligations may include two interpretations: the delegation of the obligation and the delegation of the responsibility related to this obligation. Therefore, it is important to deal with these two notions separately. Moreover, since delegating an obligation involves the delegation of sanctions, then the consent of the user who receives this delegation may be required in some cases. We address in this paper these requirements and we propose a formalism to deal with them.
Feature Extraction and Selection for Inferring User Engagement in an HCI Environment
Authors: Stylianos Asteriadis, Kostas Karpouzis, Stefanos Kollias
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends (2009)

In this paper, we present our work towards estimating the engagement of a person to the displayed information of a computer monitor. Deciding whether a user is attentive or not, and frustrated or not, helps adapting the displayed information of a computer in special environments, such as e-learning. The aim of the current work is the development of a method that can work user-independently, without necessitating special lighting conditions and with only requirements in terms of hardware, a computer and a web-camera.
Beating the Quality of JPEG 2000 with Anisotropic Diffusion
Authors: Christian Schmaltz, Joachim Weickert, Andrés Bruhn
Venue: Proceedings of the 31st DAGM Symposium on Pattern Recognition (2009)

Although widely used standards such as JPEG and JPEG 2000 exist in the literature, lossy image compression is still a subject of ongoing research. Galić et al. (2008) have shown that compression based on edge-enhancing anisotropic diffusion can outperform JPEG for medium to high compression ratios when the interpolation points are chosen as vertices of an adaptive triangulation. In this paper we demonstrate that it is even possible to beat the quality of the much more advanced JPEG 2000 standard when one uses subdivisions on rectangles and a number of additional optimisations. They include improved entropy coding, brightness rescaling, diffusivity optimisation, and interpolation swapping. Experiments on classical test images are presented that illustrate the potential of our approach.
Partial Randomness and Dimension of Recursively Enumerable Reals
Authors: Kohtaro Tadaki
Venue: Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009 (2009)

A real &alpha; is called recursively enumerable ("r.e." for short) if there exists a computable, increasing sequence of rationals which converges to &alpha;. It is known that the randomness of an r.e. real &alpha; can be characterized in various ways using each of the notions; program-size complexity, Martin-Löf test, Chaitin Ω number, the domination and Ω-likeness of &alpha;, the universality of a computable, increasing sequence of rationals which converges to &alpha;, and universal probability. In this paper, we generalize these characterizations of randomness over the notion of partial randomness by parameterizing each of the notions above by a real T C (0,1], where the notion of partial randomness is a stronger representation of the compression rate by means of program-size complexity. As a result, we present ten equivalent characterizations of the partial randomness of an r.e. real. The resultant characterizations of partial randomness are powerful and have many important applications. One of them is to present equivalent characterizations of the dimension of an individual r.e. real. The equivalence between the notion of Hausdorff dimension and compression rate by program-size complexity (or partial randomness) has been established at present by a series of works of many researchers over the last two decades. We present ten equivalent characterizations of the dimension of an individual r.e. real.
Solving Fractional Problems Management Based on a Deterministic Algorithm
Authors: Hong Zhou
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

A new global optimization algorithm is proposed that solves a class of fractional Problems Management (P). In order to generate a tighter linear relaxations for each subproblem and to ensure convergence to a global optimum. The proposed global optimization algorithm which connects the branch and bound method with the cutting-plane method successfully is convergent to the global minimum through the successive refinement of the linear relaxation of the feasible region of the objective function and the solutions of a series of linear relaxation Problems Management.Actually our result is slightly more general.
Lifting and Elliptic Curve Discrete Logarithms
Authors: Joseph H. Silverman
Venue: Selected Areas in Cryptography: 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers (2009)

The difficulty of the elliptic curve discrete logarithm problem (ECDLP) underlies the attractiveness of elliptic curves for use in cryptography. The index calculus is a lifting algorithm that solves the classical finite field discrete logarithm problem in subexponential time, but no such algorithm is known in general for elliptic curves. It turns out that there are four distinct lifting scenarios that one can use in attempting to solve the ECDLP; the lifting field may be a local field or a global field, and the lifted points may be torsion points or nontorsion points. These choices lead to four quite different ways to try to solve the ECDLP via lifting. None of these approaches has led to a solution to the ECDLP, but each method has its own reasons for failing to work. In this article I survey the four ways of lifting the ECDLP, explain their similarities and their differences, and describe the distinct roadblocks that arise in each case.
Designing the game-based environment to facilitate learners' interaction in performance-based learning by virtual pets
Authors: Calvin C. Y. Liao, Zhi-Hong Chen, Tak-Wai Chan
Venue: Proceedings of the 9th international conference on Computer supported collaborative learning - Volume 1 (2009)

Digital game-based learning attracts increasingly attention due to its positive influences on learning. Different games promote different aspects of learning. This paper attempts to propose a performance-based learning (PeBL) approach to create stage contexts in game-based learning environments. A My-Pet-and-Our-Stage system is developed according to this PeBL approach, and contains My-Pet and Our-Stage, which contains pet-nurturing mode and task learning mode, pet-performance mode and pet-performance mode, respectively. The learners in order to gain identity-making in front-stage, and therefore the learners need to be effort-making in back-stage. Since these the animal companions are driven by learner models.
Communicative Functions of Haptic Feedback
Authors: Jonas Moll, Eva-Lotta Sallnäs
Venue: Proceedings of the 4th International Conference on Haptic and Audio Interaction Design (2009)

In this paper a number of examples are presented of how haptic and auditory feedback can be used for deictic referencing in collaborative virtual environments. Haptic feedback supports getting a shared frame of reference of a common workspace when one person is not sighted and makes haptic deictic referencing possible during navigation and object exploration. Haptic guiding is a broader concept that implies that not only a single action, like a deictic reference, is made but that a whole sequence of temporally connected events are shared, sometimes including deictic referencing. In the examples presented in this paper haptic guiding is used by participants as a way to navigate while at the same time explore details of objects during joint problem solving. Guiding through haptic feedback is shown to substitute verbal navigational instructions to a considerable extent.
Study of Random Logic Programs
Authors: Gayathri Namasivayam
Venue: Proceedings of the 25th International Conference on Logic Programming (2009)

The aim of this research is to generate random logic programs and study their properties such as the occurrence of an easy-hard-easy pattern and the probability of existence of stable models for these programs. The primary focus is on generating random logic programs that can be classified to be hard for ASP solvers based on the time taken and the number of choice points generated by them in finding a stable model. Our study and generation of random logic programs have been motivated by two key reasons: hard random logic programs can be used as benchmarks for evaluating the algorithms used in existing ASP solvers, and experimental analysis as well as theoretical studies of the properties of these random logic programs can provide us with insights for improving the design of the heuristics/algorithms in these solvers.
The Design and Application of Measurement System for Lubricant Wearproof Property
Authors: Guoqing Li
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 03 (2009)

This paper designs a measurement system of lubricant wear proof property which is based on image processing technology. Its hardware part is composed of oblique light source, optical microscopy, optical appropriate mirror, CCD camera, image grabber card and PC. In addition, this paper focuses on how to extract the measured wear spot accurately. Firstly, it adopts frames overlap technology and 7 x 7 median filtering method to remove noise, and then uses C-T transformation to carry out enhancement processing.Wear spots are extracted with the smallest error method, and then interference is filtered out through district area and shape factor. Contrast with the artificial measurement, the system has improved the accuracy of measurement and automation degree.
Loads-n-limits and release-n-sequence: the "brains" behind WEPS
Authors: Paul S. Cerkez
Venue: Proceedings of the 17th conference on Innovative applications of artificial intelligence - Volume 3 (2005)

The Loads-n-Limits (LNL) and Release-n-Sequence (RNS) modules are rule-based sub-systems designed to validate various configurations of aircraft stores loading and weapons release planning. LNL, in conjunction with verifying and validating the loads presented, returns usage restrictions and limitations of the aircraft and the weapons load. The RNS module evaluates user-selected weapons employment planning. Between the two modules, the planner can create legal and safe loads, determine flight restrictions, create safe weapon release sequences and determine weapons delivery restrictions throughout the entire flight scenario. This paper is a description of the two modules, the development environment, system growth, change management problems, and the scope of changes incorporated between the first release of Weapon Employment Planning Software (WEPS) in 2001 and the latest certified version.
An Empirical Analysis of Human Capital Effect on the Economic Growth of Eastern, Middle and Western China
Authors: Yueliang Wu
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02 (2009)

This paper, using the Panel data model, analyzes the relationship between the capital investment and economic growth of China's eastern, middle and western, in all 30 provinces and autonomous regions, and establishes long-term econometric model and sets up the Panel error correction model (PECM) according to the co-integration theory. Then we analyze the contribution of all kinds of factors to the economic growth of eastern, middle and western in detail. The result shows that human capital plays very significant role on the eastern, middle and western. Thereby, it illuminates that labor quality is not high enough and improving employees’ cultural level and work skills are imperative. At the same time, we explain the other influencing factors to economic growth, and we find they have obviously different contribution to every areas’ economic growth.
Verification and Performance Analysis for Embedded Systems
Authors: Kim Guldstrand Larsen
Venue: Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (2009)

This talk provides a thorough tutorial of the UPPAAL tool suite for, modeling, simulation, verification, optimal scheduling, synthesis, testing and performance analysis of embedded and real-time systems. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player