ppxscal/embedding_network huggingface dataset:
HCI in the Era of Ambient Media --- And beyond 2009 INTERACT Tutorial
Authors: Artur Lugmayr
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

According to McLuhan, "the medium is the message" - but what means interaction and what is the medium in the age of ubiquitous and pervasive computation - when the medium is `in' daily objects? Ambient media are media that are embedded throughout our natural environment - location based services, context awareness, emotional responsive interfaces, touch and gesture based interfaces, haptics and biometrics, sensor perception, mobile devices, and smart data mining are the technological enabler for smart media environments. The latest trends from emotional computation, affective computation, and tangible media lay the foundations for this new and exciting form of media existing far beyond screen concepts and mouse based interaction metaphors. The tutorial trains participants in the basic technologies as tools for the design of new interactive `ambient' environments. It presents case studies and latest research results in the field of ambient media, ranging from ambient assisting living, user experience design, user contributed content, and mobile services. After the tutorial the participants should understand the principles of ambient media with its underlying concepts and methods, especially emphasizing human-computer-interaction. As roundup, the tutorial presents a more visionary viewpoint to the future of media technology: the use of biological metaphors for interactive environments (biomedia).
A New Computational Methodology for the Construction of Forensic, Facial Composites
Authors: Christopher Solomon, Stuart Gibson, Matthew Maylin
Venue: Proceedings of the 3rd International Workshop on Computational Forensics (2009)

A facial composite generated from an eyewitness's memory often constitutes the first and only means available for police forces to identify a criminal suspect. To date, commercial computerised systems for constructing facial composites have relied almost exclusively on a feature-based, `cut-andpaste' method whose effectiveness has been fundamentally limited by both the witness's limited ability to recall and verbalise facial features and by the large dimensionality of the search space. We outline a radically new approach to composite generation which combines a parametric, statistical model of facial appearance with a computational search algorithm based on interactive, evolutionary principles. We describe the fundamental principles on which the new system has been constructed, outline recent innovations in the computational search procedure and also report on the real-world experience of UK police forces who have been using a commercial version of the system.
Assisted recombination: accelerating genetic improvements of populations in a GA
Authors: Celso G. Camilo,  Jr., Keiji Yamanaka
Venue: Proceedings of the 10th IASTED International Conference on Intelligent Systems and Control (2007)

Genetic algorithms (GAs) are algorithms used in various applications with the intent of increasing optimization, however, the process of improving the solution, is normally, slow and computationally costly, as it involves the use of some genetic operators. Depending on a problem's complexity, its solution may take days, weeks or months to reach. For this reason, in this paper a genetic operator was developed, called Assisted Recombination, which together with the operators of selection, mutation and recombination make up the proposed GA, the realization of this objective will facilitate the genetic improvements. Two groups of experiments were applied and their results, which when compared to the canonic GA, showed that the proposed GA yields a good performance.
Refinement, Validation and Benchmarking of a Model for E-Government Service Quality
Authors: Babis Magoutas, Gregoris Mentzas
Venue: Proceedings of the 8th International Conference on Electronic Government (2009)

This paper presents the refinement and validation of a model for Quality of e-Government Services (QeGS). We built upon our previous work where a conceptualized model was identified and put focus on the confirmatory phase of the model development process, in order to come up with a valid and reliable QeGS model. The validated model, which was benchmarked with very positive results with similar models found in the literature, can be used for measuring the QeGS in a reliable and valid manner. This will form the basis for a continuous quality improvement process, unleashing the full potential of e-government services for both citizens and public administrations.
Assessing subjective response to haptic feedback in automotive touchscreens
Authors: Matthew J. Pitts, Mark A. Williams, Tom Wellings, Alex Attridge
Venue: Proceedings of the 1st International Conference on Automotive User Interfaces and Interactive Vehicular Applications (2009)

The increasing use of touchscreen interfaces in vehicles poses challenges to designers in terms of optimizing safety, usability and affective response. It is thought that the application of haptic feedback to the touchscreen interface will help to improve the user experience in all of these areas. This paper describes the initial outcomes of a study to investigate user responses to haptic touchscreens using a simulated driving scenario based on the Lane Change Test, along with representative use case tasks. Results indicate preference for multi-modal feedback and user acceptance of the haptic feedback technology. Effects relating to multi-modal interaction and attentional demand are also observed.
Two languages are better than one (for syntactic parsing)
Authors: David Burkett, Dan Klein
Venue: Proceedings of the Conference on Empirical Methods in Natural Language Processing (2008)

We show that jointly parsing a bitext can substantially improve parse quality on both sides. In a maximum entropy bitext parsing model, we define a distribution over source trees, target trees, and node-to-node alignments between them. Features include monolingual parse scores and various measures of syntactic divergence. Using the translated portion of the Chinese treebank, our model is trained iteratively to maximize the marginal likelihood of training tree pairs, with alignments treated as latent variables. The resulting bitext parser outperforms state-of-the-art monolingual parser baselines by 2.5 F1 at predicting English side trees and 1.8 F1 at predicting Chinese side trees (the highest published numbers on these corpora). Moreover, these improved trees yield a 2.4 BLEU increase when used in a downstream MT evaluation.
Five Recommended Practices for Computational Scientists Who Write Software
Authors: Diane Kelly, Daniel Hook, Rebecca Sanders
Venue: IEEE Design Test (2009)

Few software engineering techniques and approaches are specifically useful for computational scientists, and despite recent efforts, it could be many years before a consolidated handbook is available. Meanwhile, computational scientists can look to the practices of other scientists who write successful software.
Who is "you"?: combining linguistic and gaze features to resolve second-person references in dialogue
Authors: Matthew Frampton, Raquel Fernández, Patrick Ehlen, Mario Christoudias, Trevor Darrell, Stanley Peters
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics (2009)

We explore the problem of resolving the second person English pronoun you in multi-party dialogue, using a combination of linguistic and visual features. First, we distinguish generic and referential uses, then we classify the referential uses as either plural or singular, and finally, for the latter cases, we identify the addressee. In our first set of experiments, the linguistic and visual features are derived from manual transcriptions and annotations, but in the second set, they are generated through entirely automatic means. Results show that a multimodal system is often preferable to a unimodal one.
Using online simulation in Holonic manufacturing systems
Authors: Olivier Cardin, Pierre Castagna
Venue: Engineering Applications of Artificial Intelligence (2009)

This paper deals with the use of online simulation on Holonic manufacturing systems. Concepts needed for the use of online simulation in a classical hierarchical system were already defined, the observer being the central one. The behavior's differences between both classes of systems are studied to determine the best way to adapt these concepts to this new environment. In the product resource order staff approach (PROSA) reference architecture, staff holons were chosen to welcome the simulation models and the observer. An application on an industrial sized Holonic manufacturing system is described to demonstrate the validity of the approach.
Making grammar-based generation easier to deploy in dialogue systems
Authors: David DeVault, David Traum, Ron Artstein
Venue: Proceedings of the 9th SIGdial Workshop on Discourse and Dialogue (2008)

We present a development pipeline and associated algorithms designed to make grammarbased generation easier to deploy in implemented dialogue systems. Our approach realizes a practical trade-off between the capabilities of a system's generation component and the authoring and maintenance burdens imposed on the generation content author for a deployed system. To evaluate our approach, we performed a human rating study with system builders who work on a common largescale spoken dialogue system. Our results demonstrate the viability of our approach and illustrate authoring/performance trade-offs between hand-authored text, our grammar-based approach, and a competing shallow statistical NLG technique.
Counterexamples in Probabilistic LTL Model Checking for Markov Chains
Authors: Matthias Schmalz, Daniele Varacca, Hagen Völzer
Venue: Proceedings of the 20th International Conference on Concurrency Theory (2009)

We propose a way of presenting and computing a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present a counterexample as a pair (¿,¿), where ¿,¿ are finite words such that all paths that extend ¿ and have infinitely many occurrences of ¿ violate the specification. In quantitative probabilistic model checking, we present a counterexample as a pair (W,R), where W is a set of such finite words ¿ and R is a set of such finite words ¿. Moreover, we suggest how the counterexample presented helps the user identify the underlying error in the system by means of an interactive game with the model checker.
The Development of Infrared Temperature Sensor Based on Thermopile Detector TPS334 and PGA309
Authors: Ya-xiao Wang, Wen-Hui Zhang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

The paper introduces a kind of infrared temperature sensor having wide measure range and stable readings which is developed based on thermopile detector TPS334 and PGA309. The principle of PGA309 signal amplification, ambient temperature compensation and nonlinearity correction is discussed, and the relevant circuit and compensation algorithm are given. The sensor has accuracy up to 3 Celsius degree in the temperature range of 600 to 1800 Celsius degree by the standard blackbody furnace’s calibration and test. The implementation of this sensor also takes a reference to other sensor’s design.
Monocular 3D Vision Using Real-Time Generated Scene with Depth of Field Effect
Authors: Takashi Hosomi, Kunio Sakamoto
Venue: Proceedings of the 8th International Conference on Entertainment Computing (2009)

The human vision system has visual functions for viewing 3D images with a correct depth. These functions are called accommodation, vergence and binocular stereopsis. Most 3D display system utilizes binocular stereopsis. The authors have developed a monocular 3D vision system with accommodation mechanism, which is useful function for perceiving depth.
Privacy and the Internet Your Expectations and Rights Under the Law, 2nd edition
Authors: Margaret C. Jasper
Venue: Oceana'S Legal Almanac Series Law For The Layperson (2009)

The Internet is the most significant medium of both commercial and financial communications and transactions. It has become the nation's primary vehicle for the exchange of news, mail, and general information. Unfortunately, these benefits often expose Internet users to serious privacy risks which may have catastrophic results. Thus, it is crucial that Internet users understand how to safely and securely "surf the net," without exposing themselves to criminal activities which infringe on their privacy. This almanac discusses some of the most important security methods, including the effective use of passwords, utilizing virus software, installing firewalls, understanding encryption technology, and being vigilant about the type of information one shares on the Internet. Internet identity theft is also addressed. In addition, this fully revised publication outlines Internet privacy policies and applicable laws placed upon various entities designed to protect private information of Internet users. A discussion of online privacy protection for children, which encompasses the governing laws are included. Finally, this almanac sets forth the role of the Federal Trade Commission (FTC) in enforcing privacy rights, including a review of some of the major enforcement cases brought by the FTC. The Appendix provides resource directories, applicable statutes, and other pertinent information and data. The Glossary contains definitions of the terms used throughout the almanac. 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
Moving mesh methods for blowup in reaction-diffusion equations with traveling heat source
Authors: Jingtang Ma, Yingjun Jiang
Venue: Journal of Computational Physics (2009)

In this paper moving mesh methods are used to simulate the blowup in a reaction-diffusion equation with traveling heat source. The finite-time blowup occurs if the speed of the movement of the heat source remains sufficiently low, and the blowup procedure is not fixed at one point not like that for stationary heat source. As time goes to the blowup time, the blowup profile converges to a stationary state. In the simulation a new moving mesh algorithm is designed to deal with the difficulty caused by the delta function in the traveling heat source. The convergence rates are verified and new blowup figures are generated from the numerical experiments.
Snake-Deterministic Tiling Systems
Authors: Violetta Lonati, Matteo Pradella
Venue: Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009 (2009)

The concept of determinism, while clear and well assessed for string languages, is still matter of research as far as picture languages are concerned. We introduce here a new kind of determinism, called snake, based on the boustrophedonic scanning strategy, that is a natural scanning strategy used by many algorithms on 2D arrays and pictures. We consider a snake-deterministic variant of tiling systems, which defines the so-called Snake-DREC class of languages. Snake-DREC properly extends the more traditional approach of diagonal-based determinism, used e.g. by deterministic tiling systems, and by online tessellation automata. Our main result is showing that the concept of snake-determinism of tiles coincides with row (or column) unambiguity.
Affy exon tissues
Authors: Andrew A. Pohl, Charles W. Sugnet, Tyson A. Clark, Kayla Smith, Pauline A. Fujita, Melissa S. Cline
Venue: Bioinformatics (2009)

Summary: Most genes in human, mouse and rat produce more than one transcript isoform. The Affymetrix Exon Array is a tool for studying the many processes that regulate RNA production, with separate probesets measuring RNA levels at known and putative exons. For insights on how exons levels vary between normal tissues, we constructed the Affy Exon Tissues track from tissue data published by Affymetrix. This track reports exon probeset intensities as log ratios relative to median values across the dataset and renders them as colored heat maps, to yield quick visual identification of exons with intensities that vary between normal tissues. Availability: Affy Exon Tissues track is freely available under the UCSC Genome Browser ( http://genome.ucsc.edu/) for human (hg18), mouse (mm8 and mm9), and rat (rn4). Contact: cline@soe.ucsc.edu Supplementary information:Supplementary data are available at Bioinformatics online.
TimeTilt: Using Sensor-Based Gestures to Travel through Multiple Applications on a Mobile Device
Authors: Anne Roudaut, Mathias Baglioni, Eric Lecolinet
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I (2009)

We present TimeTilt, a sensor-based technique that allows multiple windows switching on mobile devices, and which overcomes the limitations of mobile devices, i.e. their impoverished input bandwidth (often no keyboard, a small tactile screen and the drawbacks of one-handed interaction). TimeTilt, which is based on a lenticular metaphor, aims at both reducing the activation time when switching between views, and supporting a natural mapping between the gestures and the navigation. We draw a brief classification of sensor-based gestures that could be used in mobile conditions, and we present an experiment.
Public Verifiability from Pairings in Secret Sharing Schemes
Authors: Somayeh Heidarvand, Jorge L. Villar
Venue: Selected Areas in Cryptography: 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers (2009)

In this paper we propose a new publicly verifiable secret sharing scheme using pairings with close relations to Shoenmakers' scheme. This scheme is efficient, multiplicatively homomorphic and with unconditional verifiability in the standard model. We formalize the notion of Indistinguishability of Secrets and prove that out scheme achieves it under the Decisional Bilinear Square (DBS) Assumption that is a natural variant of the Decisional Bilinear Diffie Hellman Assumption. Moreover, our scheme tolerates active and adaptive adversaries.
A Multi-agent Scheduler for Rent-a-Car Companies
Authors: Slava Andreev, George Rzevski, Peter Shviekin, Peter Skobelev, Igor Yankov
Venue: Proceedings of the 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing (2009)

The paper gives overview of a multi-agent real-time scheduler for the European operation of one of the largest rent-a-car company in the world. It describes requirements for scheduling of cars and drivers and outlines main features of the ontology-based, multi-agent approach, including systems architecture and performance measurements. The key design decisions and results of the first stage of the system development are also covered. The system is capable of scheduling complex interdependent operations of a large number of resources and of updating schedules affected by the occurrence of unpredictable events in real time. The multi-agent approach developed for scheduling of car rentals can be applied to a variety of complex real-time scheduling and optimization applications.
Mining Peculiar Compositions of Frequent Substrings from Sparse Text Data Using Background Texts
Authors: Daisuke Ikeda, Einoshin Suzuki
Venue: Proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: Part I (2009)

We consider mining unusual patterns from text T. Unlike existing methods which assume probabilistic models and use simple estimation methods, we employ a set B of background text in addition to T and compositions w = xy of x and y as patterns. A string w is peculiar if there exist x and y such that w = xy, each of x and y is more frequent in B than in T, and conversely w = xy is more frequent in T. The frequency of xy in T is very small since x and y are infrequent in T, but xy is relatively abundant in T compared to xy in B. Despite these complex conditions for peculiar compositions, we develop a fast algorithm to find peculiar compositions using the suffix tree. Experiments using DNA sequences show scalability of our algorithm due to our pruning techniques and the superiority of the concept of the peculiar composition.
Anthropometric Facial Emotion Recognition
Authors: Julia Jarkiewicz, Rafał Kocielnik, Krzysztof Marasek
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques (2009)

The aim of this project is detection, analysis and recognition of facial features. The system operates on grayscale images. For the analysis Haar-like face detector was used along with anthropometric face model and a hybrid feature detection approach. The system localizes 17 characteristic points of analyzed face and, based on their displacements certain emotions can be automatically recognized. The system was tested on a publicly available database (Japanese Female Expression Database) JAFFE with ca. 77% accuracy for 7 basic emotions using various classifiers. Thanks to its open structure the system can cooperate well with any HCI system.
Live Demonstration of the Pervasive Game "GPS Joker"
Authors: Ivo Flammer, David Guyard
Venue: Proceedings of the 8th International Conference on Entertainment Computing (2009)

From the virtual to the real, everybody is looking for the Joker... your mobile phone guides you through the city. Be the first one to win the Joker. Enter the game and play your session here in Paris!
Construction of flexible blending parametric surfaces via curves
Authors: Bachir Belkhatir, Ahmed Zidna
Venue: Mathematics and Computers in Simulation (2009)

The main purpose of this paper is to provide a method that allows to solve the blending problem of two parametric surfaces. The blending surface is constructed with a collection of space curves defined by point pairs on the blending boundaries of given primary surfaces. Bezier and C-cubic curves are used to interpolate the blending boundaries. The blending surface is G^n continuously connected to the primary surfaces.
Extending Nested Relational Model for Fuzzy Information Modeling
Authors: Li Yan, Z. M. Ma
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

n order to deal with complex as well as uncertain information, in this paper, we introduce fuzzy data into nested relational database model, where data fuzziness appears in forms of possibility distribution and resemblance relations in the universe of discourse. We present the structure of fuzzy nested relational model and define the algebra for manipulating fuzzy and complex data.