ppxscal/embedding_network huggingface dataset:
Poster abstract: MDP framework for sensor network coordination
Authors: Shuping Liu, Anand Panangadan, Ashit Talukder, Cauligi S. Raghavendra
Venue: Proceedings of the 2009 International Conference on Information Processing in Sensor Networks (2009)

We consider a body area network application of monitoring a patient continuously [1,2]. In this application, several sensors are used in measuring physiological and metabolic readings of a patient. In such a system, the sampling rates have to be coordinated to maximize the life time of this sensor network system. We formulate the relationship between energy consumption, sensor sampling rates, and utility of coordination as a Markov Decision Process and compute a globally optimal policy for sensor sampling rates. We then present an entropy-based mechanism for communication between nodes to execute this global policy. We show preliminary results on simulated data to demonstrate that this distributed control framework is feasible for a limited number of sensors.
List decoding codes on Garcia-Stictenoth tower using Gröbner basis
Authors: M. Prem Laxman Das
Venue: Journal of Symbolic Computation (2009)

An account of the interpolation and the root-finding steps of list decoding of one-point codes is given. The interpolation step is reduced to the problem of finding the minimal element of the Grobner basis of a submodule of a free module over a polynomial ring of one variable. The procedure for root-finding of the interpolation polynomial going modulo a large degree place is described from the tower point of view.
A transcription scheme for languages employing the Arabic script motivated by speech processing application
Authors: Shadi Ganjavi, Panayiotis G. Georgiou, Shrikanth Narayanan
Venue: Proceedings of the Workshop on Computational Approaches to Arabic Script-based Languages (2004)

This paper offers a transcription system for Persian, the target language in the Transonics project, a speech-to-speech translation system developed as a part of the DARPA Babylon program (The DARPA Babylon Program; Narayanan, 2003). In this paper, we discuss transcription systems needed for automated spoken language processing applications in Persian that uses the Arabic script for writing. This system can easily be modified for Arabic, Dari, Urdu and any other language that uses the Arabic script. The proposed system has two components. One is a phonemic based transcription of sounds for acoustic modelling in Automatic Speech Recognizers and for Text to Speech synthesizer, using ASCII based symbols, rather than International Phonetic Alphabet symbols. The other is a hybrid system that provides a minimally-ambiguous lexical representation that explicitly includes vocalic information; such a representation is needed for language modelling, text to speech synthesis and machine translation.
Disaster Propagation in Heterogeneous Media via Markovian Agents
Authors: Davide Cerotti, Marco Gribaudo, Andrea Bobbio
Venue: Critical Information Infrastructure Security: Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers (2009)

A Critical Infrastructure Protection (CIP) program requires the capability of forecasting how a potential threat originating in some geographical location propagates in an heterogeneous environment. We propose an approach to the disaster propagation analysis based on interacting Markovian Agents. For the sake of illustration, the paper discusses the propagation of a seismic wave and presents an analysis tool, where starting from an arbitrarily chosen geographical map of the region of interest, and fixing the epicenter of the seismic phenomenon, the speed and intensity of the wave are computed and directly displayed on the map.
Study of Vibration and Noise Performance of Steel Fiber-Free Frictional Material
Authors: Chunling Meng, Xuejun Liu, Li Zhang, Zhengbing Tian
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

By means of theoretical analysis and modal experiment combined with research of material, the inherent frequency and damping coefficient will be studied for the steel fiber-free frictional pad that is reinforced by mixture and made by the authors. The effects of material ingredients and percentages on dynamic properties of material will be investigated. The conclusion is that the steel fiber-free frictional pad reinforced by mixture has better performance of reducing vibration and lowering noise. The results will be guidable to the further design and research of steel fiber-free frictional material with less vibration and low noise.
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Authors: Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Venue: Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science (2009)

We study the following problem: given a continuous-time Markov chain (CTMC) C, and a linear real-time property provided as a deterministic timed automaton (DTA) A, what is the probability of the set of paths of C that are accepted by A (C satisfies A)? It is shown that this set of paths is measurable and computing its probability can be reduced to computing the reachability probability in a piecewise deterministic Markov process (PDP). The reachability probability is characterized as the least solution of a system of integral equations and is shown to be approximated by solving a system of partial differential equations. For the special case of single-clock \DTA, the system of integral equations can be transformed into a system of linear equations where the coefficients are solutions of ordinary differential equations.
Information State Based Multimodal Dialogue Management: Estimating Conversational Engagement from Gaze Information
Authors: Yukiko Nakano, Yuji Yamaoka
Venue: Proceedings of the 9th International Conference on Intelligent Virtual Agents (2009)

Thanks to the progress of computer vision technologies and human sensing technologies, human behaviors, such as gaze and head poses, can be accurately measured in real time. Previous studies in multimodal user interfaces and intelligent virtual agents presented many interesting applications by exploiting such sensing technologies [1, 2]. However, little has been studied how to extract communication signals from a huge amount of data, and how to use such data in dialogue management in conversational agents.
A Third Eye for Performance Evaluation in Stereo Sequence Analysis
Authors: Sandino Morales, Reinhard Klette
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

Prediction errors are commonly used when analyzing the performance of a multi-camera stereo system using at least three cameras. This paper discusses this methodology for performance evaluation for the first time on long stereo sequences (in the context of vision-based driver assistance systems). Three cameras are calibrated in an ego-vehicle, and prediction error analysis is performed on recorded stereo sequences. They are evaluated using various common stereo matching algorithms, such as belief propagation, dynamic programming, semi-global matching, or graph cut. Performance is evaluated on both synthetic and real data. 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
ILK2: semantic role labelling for Catalan and Spanish using TiMBL
Authors: Roser Morante, Bertjan Busser
Venue: Proceedings of the 4th International Workshop on Semantic Evaluations (2007)

In this paper we present a semantic role labeling system submitted to the task Multi-level Semantic Annotation of Catalan and Spanish in the context of SemEval-2007. The core of the system is a memory-based classifier that makes use of full syntactic information. Building on standard features, we train two classifiers to predict separately the semantic class of the verb and the semantic roles.
Research of Snail Distribution in Wetlands of Honghu City Based on the Combination of RS and GIS Methods
Authors: Rui Xiao, Xuelei Wang, Huiliang Wang
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

Based on the combination of RS and GIS technology, with the method of threshold and spatial analysis, we study the distribution of snails in Honghu City in the year of 2001. The result shows that there are 82.77% areas of snail distribution in ditch which distributes as linearity and network. It indicates that this kind of environmental condition is suitable for snails to breed. Through local investigation and relevant information, the research findings are consistent with the fact, which shows that the research method is feasible to monitor the snails of Honghu City, and it provides a basis for the future work of schistosomiasis prevention.
Hybrid document indexing with spectral embedding
Authors: Irina Matveeva, Gina-Anne Levow
Venue: Human Language Technologies 2007: The Conference of the North American Chapter of the Association for Computational Linguistics; Companion Volume, Short Papers on XX (2007)

Document representation has a large impact on the performance of document retrieval and clustering algorithms. We propose a hybrid document indexing scheme that combines the traditional bag-of-words representation with spectral embedding. This method accounts for the specifics of the document collection and also uses semantic similarity information based on a large scale statistical analysis. Clustering experiments showed improvements over the traditional tf-idf representation and over the spectral methods based solely on the document collection.
Democratizing Process Innovation? On Citizen Involvement in Public Sector BPM
Authors: Björn Niehaves, Robert Malsch
Venue: Proceedings of the 8th International Conference on Electronic Government (2009)

`Open Innovation' has been heavily discussed for product innovations; however, an information systems (IS) perspective on `process innovation' has not yet been taken. Analyzing the example of the public sector in Germany, the paper seeks to investigate the factors that hinder and support `open process innovation', a concept we define as the involvement of citizens in business process management (BPM) activities. With the help of a quantitative study (n=358), six factors are examined for their impact on citizen involvement in local government BPM initiatives. The results show that citizen involvement in reform processes is not primarily motivated by the aim of cost reduction, but rather related to legitimacy reasons and the intent to increase employee motivation. Based on these findings, implications for (design) theory and practice are discussed: Instead of detailed collaborative business processes modeling, the key of citizen involvement in public sector BPM lies in communication and mutual understanding.
Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation
Authors: Ralf Küsters, Tomasz Truderung
Venue: Proceedings of the 2009 22nd IEEE Computer Security Foundations Symposium (2009)

ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-Hellman exponentiation has been problematic. Recently, we have developed an approach which enables ProVerif, and related tools, to analyze a large class of protocols that employ the XOR operator. In this work, we adapt this approach to the case of Diffie-Hellman exponentiation. The core of our approach is to reduce the derivation problem for Horn theories modulo algebraic properties of Diffie-Hellman exponentiation to a purely syntactical derivation problem for Horn theories. The latter problem can then be solved by tools such as ProVerif.Our reduction works for a large class of Horn theories, allowing to model a wide range of intruder capabilities and protocols.We implemented our reduction and, in combination with ProVerif, applied it in the automatic analysis of several state-of-the-art protocols that use Diffie-Hellman exponentiation. While the general idea of our approach follows the one for XOR in our previous work, the reduction itself and the proof of soundness and completeness of our reduction are entirely different from the XOR case. Surprisingly, the reduction for Diffie-Hellman exponentiation is more efficient than the one for XOR.
Random Number Selection in Self-assembly
Authors: David Doty, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers, Damien Woods
Venue: Proceedings of the 8th International Conference on Unconventional Computation (2009)

We investigate methods for exploiting nondeterminism inherent within the Tile Assembly Model in order to generate uniform random numbers. Namely, given an integer range {0,...,n ¿ 1}, we exhibit methods for randomly selecting a number within that range. We present three constructions exhibiting a trade-off between space requirements and closeness to uniformity.The first selector selects a random number with probability ¿(1/n) using O(log2 n) tiles. The second selector takes a user-specified parameter that guarantees the probabilities are arbitrarily close to uniform, at the cost of additional space. The third selector selects a random number with probability exactly 1/n, and uses no more space than the first selector with high probability, but uses potentially unbounded space.
Are We There Yet?
Authors: Nello Cristianini
Venue: Proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: Part I (2009)

Statistical approaches to Artificial Intelligence are behind most success stories of the field in the past decade. The idea of generating non-trivial behaviour by analysing vast amounts of data has enabled recommendation systems, search engines, spam filters, optical character recognition, machine translation and speech recognition. As we celebrate the spectacular achievements of this line of research, we need to assess its full potential, its limitations and its position within the larger scheme of things. What are the next steps to take towards machine intelligence?
Designing a Control and Visualization System for Off-Highway Machinery According to the Adaptive Automation Paradigm
Authors: Stefano Marzani, Francesco Tesauri, Luca Minin, Roberto Montanari, Caterina Calefato
Venue: Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009 (2009)

This paper aims at describing the requirements of an off-highway human-machine system able to recognize potential risky situations and consequently prevent them. The developed methodology is based on two techniques derived from the field of human factors studies, namely the Hierarchical Task Analysis (HTA) and the Function Allocation (FA), which have been integrated and revised to suit the specific domain of off-highway machinery. The paradigms of adaptive automation and persuasive technology will be followed in the design process. After the off-highway domain analysis a system aiming at improving operator and machine safety is presented. The information system extends the human intelligence monitoring the stability of the machine.
Is Embodied Interaction Beneficial When Learning Programming?
Authors: Pablo Romero, Benedict Boulay, Judy Robertson, Judith Good, Katherine Howland
Venue: Proceedings of the 3rd International Conference on Virtual and Mixed Reality: Held as Part of HCI International 2009 (2009)

Embodied interaction has been claimed to offer important advantages for learning programming. However frequently claims have been based on intuitions and work in the area has focused largely around system-building rather than on evaluation and reflection around those claims. Taking into account research in the area as well as in areas such as tangibles, psychology of programming and the learning and teaching of programming, this paper identifies a set of important factors to take into account when analysing the potential of learning environments for programming employing embodied interaction. These factors are formulated as a set of questions that could be asked either when designing or analysing this type of learning environments.
Image Retrieval Based on Manifold Learning and Incorporate Clustering
Authors: Jianzhu Cui, Fuqiang Liu, Zhipeng Li, Jing Li
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 03 (2009)

This paper presents a novel unsupervised learning framework named Image Retrieval Based on Manifold Learning and Incorporate Clustering. The dimensionality of image descriptors used in image retrieval applications is quite high. Given a query image, our algorithm first makes use of manifold learning (LPP) for dimensionality reduction and manifold ranking algorithm to explore the relationship among all the data points in the feature space, and then measures relevance between the query and all the images in the database accordingly. Then we use the similarities among target images for improving the performance of the image retrieval systems by cluster-based retrieval of images by unsupervised learning. Our algorithm retrieves image clusters as retrieval results by applying K-means clustering algorithm to a collection of images collected by manifold ranking algorithm. Experimental results on a general-purpose image database show that our algorithm attains a significant improvement over existing systems.
Wireless Propagation and Coexistence of Medical Body Sensor Networks for Ambulatory Patient Monitoring
Authors: David M. Davenport, Budhaditya Deb, Fergus J. Ross
Venue: Proceedings of the 2009 Sixth International Workshop on Wearable and Implantable Body Sensor Networks (2009)

In this paper we present the technical requirements and system issues for wireless Medical Body Sensor Networks (BSNs). Design guidelines are driven by the need to improve ambulatory patient monitoring and care while reducing logistic constraints for patients as well as healthcare professionals. We present our study on three key components of Medical BSN: On-body wireless link (to characterize the RF channel for body worn wireless devices), Coupling between bodies (to characterize the RF interaction between bodies) and Coexistence of Medical BSNs in the RF spectrum. Results and conclusions are presented through simulation and measurement studies. We also discuss our FCC petition for spectrum allocation.
A Comparison of Acoustic Models Based on Neural Networks and Gaussian Mixtures
Authors: Tomáš Pavelka, Kamil Ekštein
Venue: Proceedings of the 12th International Conference on Text, Speech and Dialogue (2009)

This article tries to compare the performance of neural network and Gaussian mixture acoustic models (GMMs). We have carried out tests which match up various models in terms of speed and achieved recognition accuracy. Since the speed-accuracy trade-off is not only dependent on the acoustic model itself, but also on the settings of decoder parameters, we have suggested a comparison based on equal number of active states during the decoding search. Statistical significance measures are also discussed and a new method for confidence interval computation is introduced.
Insight into Kansei Color Combinations in Interactive User Interface Designing
Authors: K. G. Tharangie, Shuichi Matsuzaki, Ashu Marasinghe, Koichi Yamada
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends (2009)

Color has a major impact on Human Computer Interaction. Although there is a very thin line between appropriate and inappropriate use of color, if used properly, color can be a powerful tool to improve the usefulness of an interactive interface in a wide variety of areas. On the contrary the excessive or inappropriate use of color can severely hinder the functionality and usability of an interface accordingly. A good visual design provides higher level of user satisfaction and further aids with conveying the intended message to its audience. In this paper we focus on one requisite aspect of visual design as such the Color, revealing one hidden dimension of color; Affectivity, by acquiring prospective user's concealed color aesthetic preferences, employing Kansei Engineering Assessing System with respect to interactive Interfaces.
Application of Clustering Algorithms in Ip Traffic Classification
Authors: Zhou Xusheng, Zhou Yu
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

Classification of network traffic using port-based or payload-based analysis is becoming increasingly difficult with many peer-to-peer(P2P) applications using dynamic port numbers, nat techniques,and encryption to avoid detection. An alternative approach is to classify traffic by exploiting the distinctive characteristics of applications when they communicate on a network. We pursue this latter approach and demonstrate how cluster analysis can be used to effectively identify groups of traffic that are similar using only transport layer statistics. Our work considers two unsupervised clustering algorithms, namely K-Means and DBSCAN, that have previously not been used for network traffic classification. We evaluate these two algorithms, using empirical Internet traces. The experimental results show that both K-Means and DBSCAN work very well and much more quickly Our results indicate that although DBSCAN has lower accuracy compared to K-Means and, DBSCAN produces better clusters.
A self-protected integrated switch in a HV technology
Authors: Matías Miguez, Alfredo Arnaud, Joel Gak
Venue: Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes (2009)

An integrated switch to control electrical stimuli in implantable medical devices is presented in this work. First a self-biased protection mechanism to avoid VGS reaching maximum rated value is presented. Then, using a HV-CMOS technology this technique is incorporated in a fully integrated switch, to control 0 to 16V, and 0 to 30 mA, pulses for implantable stimulators. Because of the low supply voltage VCC between 2 to 5V, and safety considerations in implantable devices, special level shifters, drivers, and a voltage multiplier, that drive a large 40000&mu;m/3&mu;m dual PMOS switch, were necessary for the circuit.
Evaluation of Visually-Controlled Task Performance in Three Dimension Virtual Reality Environment
Authors: Chiuhsiang Joe Lin, Tien-Lung Sun, Hung-Jen Chen, Ping-Yun Cheng
Venue: Proceedings of the 3rd International Conference on Virtual and Mixed Reality: Held as Part of HCI International 2009 (2009)

The present study aims to evaluate three commercial VR display devices on the market via a 3D Fitts' task. In addition, a Simulation Sickness Questionnaire (SSQ) was used to assess simulator sickness of participants. Ten participants performed repetitive pointing tasks over different conditions of varying display devices, movement directions and indices of difficulty. Based on the results, it seems that the 3D TV technology may not provide enough perceptual depth to enhance movement performance in a 3D VE. The projection display obtained the best performance and preference among the three display devices. The HMD gave the worst result in both the experimental task and the SSQ assessment due to the accompanied discomfort and fatigue.