ppxscal/embedding_network huggingface dataset:
Advances in Czech --- Signed Speech Translation
Authors: Jakub Kanis, Luděk Müller
Venue: Proceedings of the 12th International Conference on Text, Speech and Dialogue (2009)

This article describes advances in Czech --- Signed Speech translation. A method using a new criterion based on minimal loss principle for log-linear model phrase extraction was introduced and it was evaluated against two another criteria. The performance of phrase table extracted with introduced method was compared with performance of two another phrase tables (manually and automatically extracted). A new criterion for semantic agreement evaluation of translations was introduced too.
On the Supports of Recognizable Timed Series
Authors: Karin Quaas
Venue: Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems (2009)

Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and introduced a general model of weighted timed automata defined over a semiring and a family of cost functions. In this model, a weighted timed automaton recognizes a timed series, i.e., a function mapping to each timed word a weight taken from the semiring. Continuing in this spirit, the aim of this paper is to investigate the support and cut languages of recognizable timed series. We present results that lead to the decidability of weighted versions of classical decidability problems as e.g. the emptiness problem. Our results may also be used to check whether weighted timed systems satisfy specifications restricting the consumption of a resource.
OBDD-based universal planning for synchronized agents in non-deterministic domains
Authors: Rune M. Jensen, Manuela M. Veloso
Venue: Journal of Artificial Intelligence Research (2000)

Recently model checking representation and search techniques were shown to be efficiently applicable to planning, in particular to non-deterministic planning. Such planning approaches use Ordered Binary Decision Diagrams (OBDDS) to encode a planning domain as a non-deterministic finite automaton and then apply fast algorithms from model checking to search for a solution. OBDDS can effectively scale and can provide universal plans for complex planning domains. We are particularly interested in addressing the complexities arising in non-deterministic, multi-agent domains. In this article, we present UMOP, a new universal OBDD-based planning framework for non-deterministic, multi-agent domains. We introduce a new planning domain description language, NADL, to specify non-deterministic, multi-agent domains. The language contributes the explicit definition of controllable agents and uncontrollable environment agents. We describe the syntax and semantics of NADL and show how to build an efficient OBDD-based representation of an NADL description. The UMOP planning system uses NADL and different OBDD-based universal planning algorithms. It includes the previously developed strong and strong cyclic planning algorithms. In addition, we introduce our new optimistic planning algorithm that relaxes optimality guarantees and generates plausible universal plans in some domains where no strong nor strong cyclic solution exists. We present empirical results applying UMOP to domains ranging from deterministic and single-agent with no environment actions to non-deterministic and multi-agent with complex environment actions. UMOP is shown to be a rich and efficient planning system.
Incremental adaptation of speech-to-speech translation
Authors: Nguyen Bach, Roger Hsiao, Matthias Eck, Paisarn Charoenpornsawat, Stephan Vogel, Tanja Schultz, Ian Lane, Alex Waibel, Alan W. Black
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Companion Volume: Short Papers (2009)

In building practical two-way speech-to-speech translation systems the end user will always wish to use the system in an environment different from the original training data. As with all speech systems, it is important to allow the system to adapt to the actual usage situations. This paper investigates how a speech-to-speech translation system can adapt day-to-day from collected data on day one to improve performance on day two. The platform is the CMU Iraqi-English portable two-way speech-to-speech system as developed under the DARPA TransTac program. We show how machine translation, speech recognition and overall system performance can be improved on day 2 after adapting from day 1 in both a supervised and unsupervised way.
Sweep-Shake: finding digital resources in physical environments
Authors: Simon Robinson, Parisa Eslambolchilar, Matt Jones
Venue: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services (2009)

In this article we describe the Sweep-Shake system, a novel, low interaction cost approach to supporting the spontaneous discovery of geo-located information. By sweeping a mobile device around their environment, users browse for interesting information related to points of interest. We built a mobile haptic prototype which encourages the user to explore their surroundings to search for location information, helping them discover this by providing directional vibrotactile feedback. Once potential targets are selected, the interaction is extended to offer an hierarchy of information levels with a simple method for filtering and selecting desired types of data for each geo-tagged location. We describe and motivate our approach and present a short field trial to situate our design in a real environment, followed by a more detailed user study that compares it against an equivalent visual-based system.
Neural Network-Based Fuzzy Predictive Current Control for Doubly Fed Machine
Authors: Zongkai Shao, Yuedong Zhan
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

In this paper, based on the radial basis function (RBF) neural network, a fuzzy predictive current control strategy for the doubly fed machine (DFM) is presented. The dynamic model of voltage, flux linkage, electromagnetic torque and mechanical motion equation for DFM are expressed. Because the DFM structure is complex and the DFM parameters are variable according to the operating conditions and environments, in order to improve the dynamic performances of DFM, the RBF neural network and fuzzy predictive control theories are employed to design the current controller in the DFM adjustable speed system. Simulation results show effectiveness of the proposed control strategy.
Language model adaptation with MAP estimation and the perceptron algorithm
Authors: Michiel Bacchiani, Brian Roark, Murat Saraclar
Venue: Proceedings of HLT-NAACL 2004: Short Papers on XX (2004)

In this paper, we contrast two language model adaptation approaches: MAP estimation and the perceptron algorithm. Used in isolation, we show that MAP estimation outperforms the latter approach, for reasons which argue for combining the two approaches. When combined, the resulting system provides a 0.7 percent absolute reduction in word error rate over MAP estimation alone. In addition, we demonstrate that, in a multi-pass recognition scenario, it is better to use the perceptron algorithm on early pass word lattices, since the improved error rate improves acoustic model adaptation.
Poster abstract: Ultra wideband biomedical wireless sensor neworks using wavelet lifting for image transmission
Authors: Minh-Long Pham, Tor A. Ramstad, Ilangko Balasingham
Venue: Proceedings of the 2009 International Conference on Information Processing in Sensor Networks (2009)

Image transmission in biomedical wireless sensor networks often requires low complexity, low power consumption with soft real-time constraint. However, the full separation of source coding and channel coding usually comes with large delay and/or complexity. To address these requirements, we propose a new direct mapping of source sample to channel sample that utilizes large bandwidth of ultra wideband (UWB). Our system combines a 5/3 integer lifting scheme wavelet transform followed by a pulse position modulation (PPM). The system's major advantages are low complexity, low power consumption, low processing delay and robustness to error at sensor node. Evaluation on an image transmission system over additive white Gaussian noise (AWGN) channel shows that our proposed system can achieve lossless or near lossless image with significant energy saving and very low delay.
Closed Non Derivable Data Cubes Based on Non Derivable Minimal Generators
Authors: Hanen Brahmi, Tarek Hamrouni, Riadh Ben Messaoud, Sadok Ben Yahia
Venue: Proceedings of the 5th International Conference on Advanced Data Mining and Applications (2009)

It is well recognized that data cubes often produce huge outputs. Several efforts were devoted to this problem through closed cubes, where cells preserving aggregation semantics are losslessly reduced to one cell. In this paper, we introduce the concept of closed non derivable data cube, denoted $\mathcal{CND}$ - $\mathcal{C}$ube, which generalizes the notion of bi-dimensional frequent closed non derivable patterns to the multidimensional context. We propose a novel algorithm to mine $\mathcal{CND}$ - $\mathcal{C}$ube from multidimensional databases considering three anti-monotone constraints, namely "to be frequent", "to be non derivable" and "to be minimal generator". Experiments show that our proposal provides the smallest representation of a data cube and thus is the most efficient for saving storage space.
Object-Oriented Interactive Processes in Decentralized Production Systems
Authors: Thomas Schlegel
Venue: Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009 (2009)

Supervision and controlled execution of processes and parameters are core requirements in Digital Production. But even in rather homogeneous systems, deviation from defined workflows and even process change occur daily. To be able to react flexibly to changing market conditions and to respond to increasing individualization of products and their adjacent processes, even more and ad-hoc variants have to be created and supported by production planning and control systems. We solve this problem by introducing a semantic process model, which can be executed and extended using a decentralized, message-based system. In situations where unforeseen deviations and needs for interactive intervention occur or ad-hoc input from users is needed, a generic, model-based user interface is used to create correct interactions in such a context. Our contribution makes processes much more flexible and opens up a new way of creating correct interactions in unforeseen process contexts.
Note on “On the normalization of interval and fuzzy weights”
Authors: De-Qing Li, Jia-Yin Wang, Hong-Xing Li
Venue: Fuzzy Sets and Systems (2009)

This paper shows by an example that Lemma 2 in Wang and Elhag [On the normalization of interval and fuzzy weights, Fuzzy Sets and Systems 157 (2006) 2456-2471] is false and presents the modified lemma and the correct proof of Theorem 5.
Website Affective Evaluation: Analysis of Differences in Evaluations Result by Data Population
Authors: Anitawati Mohd Lokman, Afdallyna Fathiyah Harun, Nor Laila Md. Noor, Mitsuo Nagamachi
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

Studies involving consumer studies have suggested different mechanisms of subject selections. The paper elaborates results of subject's responses by the methodology adopted from Kansei Engineering. In the research, evaluation of subject's Kansei towards website interface design was performed, targeting to measure affective quality in website design. Principal Component Analysis was performed to identify semantic structure of Kansei Words. The analyses were based on the average of evaluation results obtained from subjects. Results of PC Loadings were analyzed to see differences of determinants by size of data population. It is evident from the study that population size does not affect determinants of affective web interface design. The study makes decent contribution in determining appropriate population size in designing research instruments for future studies involving website affective evaluations.
Genotype Tagging with Limited Overfitting
Authors: Irina Astrovskaya, Alex Zelikovsky
Venue: Proceedings of the 4th Brazilian Symposium on Bioinformatics: Advances in Bioinformatics and Computational Biology (2009)

Due to the high genotyping cost and large data volume in genome-wide association studies data, it is desirable to find a small subset of SNPs, referred as tag SNPs, that covers the genetic variation of the entire data. To represent genetic variation of an untagged SNP, the existing tagging methods use either a single tag SNP ( e.g., Tagger, IdSelect), or several tag SNPs ( e.g., MLR, STAMPA). When multiple tags are used to explain variation of a single SNP then usually less tags are needed but overfitting is higher.This paper explores the trade-off between the number of tags and overfitting and considers the problem of finding a minimum number of tags when at most two tags can represent variation of an untagged SNP. We show that this problem is hard to approximate and propose an efficient heuristic, referred as 2LR. Our experimental results show that 2LR tagging is between Tagger and MLR in the number of tags and in overfitting. Indeed, 2LR uses slightly more tags than MLR but the overfitting measured with 2-fold cross validations is practically the same as for Tagger. 2LR-tagging better tolerates missing data than Tagger.
Robot-assisted assessment of sensorimotor control: A case study
Authors: David Meary, Gabriel Baud-Bovy, Raffaella Chieffo, Letizia Leocani, Mauro Comola, Giancarlo Comi
Venue: Proceedings of the 2009 IEEE International Workshop on Medical Measurements and Applications (2009)

While robot-assisted rehabilitation is often found to help recovery, their use often remain limited to clinical trials. Amongst the reasons that may explain their under-use is the difficulty to bridge the gap between the score on a robot-assisted exercise and the control processes that mediate the measured performance. This paper illustrates the potential benefits of a multi-task approach for evaluating sensorimotor control processes. Results from a stroke patient are compared to those of a control group.
From Informal Requirements to Property-Driven Formal Validation
Authors: Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta
Venue: Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (2009)

Flaws in requirements may have severe impacts on the subsequent phases of the development flow. However, an effective validation of requirements can be considered a largely open problem.In this paper, we propose a new methodology for requirements validation, based on the use of formal methods. The methodology consists of three main phases: first, an informal analysis is carried out, resulting in a structured version of the requirements, where each fragment is classified according to a fixed taxonomy. In the second phase, each fragment is then mapped onto a subset of UML, with a precise semantics, and enriched with static and temporal constraints. The third phase consists of the application of specialized formal analysis techniques, optimized to deal with properties (rather than with models).
The Overview and Prospect of Environmental Regulation Theory of Coal Enterprises
Authors: Wang Li-ping
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

From the international comparisons of economic growth and energy consumption, China's energy consumption per unit production is one of the world's highest, and the Chinese unit environmental cost of GDP is in the world forefront calculating energy consumption companied with environmental protection. Because of the 70% energy consumption of our country coming from coal, environmental regulation of coal enterprises is related to their survival and development, and is also related to the sustainable development of China's economy. In this context, this paper carefully reviewed various arguments of environmental regulation together with the theoretical basis, and put some in-depth study directions combined with the environmental protection practice of China's coal enterprises, which provide decision-making references for the smooth implementation of environmental protection work of China's coal enterprises.
Fault Tolerant External Memory Algorithms
Authors: Gerth Stølting Brodal, Allan Grønlund Jørgensen, Thomas Mølhave
Venue: Proceedings of the 11th International Symposium on Algorithms and Data Structures (2009)

Algorithms dealing with massive data sets are usually designed for I/O-efficiency, often captured by the I/O model by Aggarwal and Vitter. Another aspect of dealing with massive data is how to deal with memory faults, e.g. captured by the adversary based faulty memory RAM by Finocchi and Italiano. However, current fault tolerant algorithms do not scale beyond the internal memory. In this paper we investigate for the first time the connection between I/O-efficiency in the I/O model and fault tolerance in the faulty memory RAM, and we assume that both memory and disk are unreliable. We show a lower bound on the number of I/Os required for any deterministic dictionary that is resilient to memory faults. We design a static and a dynamic deterministic dictionary with optimal query performance as well as an optimal sorting algorithm and an optimal priority queue. Finally, we consider scenarios where only cells in memory or only cells on disk are corruptible and separate randomized and deterministic dictionaries in the latter.
Functional specification of probabilistic process models
Authors: Avi Pfeffer
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 2 (2005)

Agents that handle complex processes evolving over a period of time need to be able to monitor the state of the process. Since the evolution of a process is often stochastic, this requires probabilistic monitoring of processes. A probabilistic process modeling language is needed that can adequately capture our uncertainty about the process execution. We present a language for describing probabilistic process models. This language is functional in nature, and the paper argues that a functional language provides a natural way to specify process models. In our framework, processes have both states and values. Processes may execute sequentially or in parallel, and we describe two alternative forms of parallelism. An inference algorithm is presented that constructs a dynamic Bayesian network, containing a variable for every subprocess that is executed during the course of executing a process. We present a detailed example demonstrating the naturalness of the language.
An Integrated Water Quality-Quantity Method for Water Resource Management
Authors: Wanshun Zhang, Yan Wang, Hong Peng
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

As the increasing water demand and serious water pollution, conventional allocation pattern, which mainly considers water quantity as the key factor, is no longer satisfying the water allocation need. An integrated water quantity-quality method for water resource management in a river basin is presented in this paper. The method considers both water quantity and quality in the water allocation process, and realizes the match and couple between hydrologic model and hydrodynamic-water quality model in temporal scale.
Four Heads Are Better than One: Combining Suggestions for Case Adaptation
Authors: David Leake, Joseph Kendall-Morwick
Venue: Proceedings of the 8th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development (2009)

How to automate case adaptation is a classic problem for case-based reasoning. Given the difficulty of developing reliable case adaptation methods, it is appealing to consider methods which can exploit the strengths of a set of alternative adaptation methods. This paper presents a framework for combining suggestions from multiple adaptation methods, and illustrates and evaluates the approach in the context of interactive support for user modification of scientific workflows. The paper presents four adaptation methods for this domain, describes a method for assessing their confidence, proposes four strategies for suggestion combination, and evaluates the performance of the approach. The evaluation suggests that, for this domain, results depend more strongly on the adaptation methods chosen than on the specific combination method used, and that they depend especially strongly on a confidence threshold used for limiting irrelevant and incorrect suggestions.
Detecting Hubs in Music Audio Based on Network Analysis
Authors: Alexandros Nanopoulos
Venue: Proceedings of the 31st DAGM Symposium on Pattern Recognition (2009)

Spectral similarity measures are considered among the best-performing audio-based music similarity measures. However, they tend to produce hubs, i.e., songs measured closely to many other songs, to which they have no perceptual similarity. In this paper, we define a novel way to measure the hubness of songs. Based on network analysis methods, we propose a hubness score that is computed by analyzing the interaction of songs in the similarity space. We experimentally evaluate the effectiveness of the proposed approach. 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
A Solution of Average Time for Pure and Multiset Permutations
Authors: Ray Jinzhu Chen, Kevin Scott Reschke, Muchenxuan Tong
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

Two efficient techniques for evaluating the performance of candidate multiset permutation algorithms are introduced. We arrive at two formulas for simulating the average running time of multiset permutations for all N**N possible inputs with length N. One formula is for non-lexicographic permutations and the other is for lexicographic permutations. For lexicographic permutations, we use 2**(N-1) representatives to generate the average time for all N**N possible inputs; and, for non-lexicographic permutations, we use much fewer than 2**(N-1) representatives to generate the average time for all N**N possible inputs.
X-expressions in XMLisp: S-expressions and extensible markup language unite
Authors: Alexander Repenning, Andri Ioannidou
Venue: Proceedings of the 2007 International Lisp Conference (2007)

XMLisp unites S-expressions with XML into X-expressions that unify the notions of data sharing with computation. Using a combination of the Meta Object Protocol (MOP), readers and printers, X-expressions uniquely integrate XML at a language, not API level, into Lisp in a way that could not be done with other programming languages. Integration at a language level has significant advantages by making XML tangible to the programmer throughout existing Lisp development tools including editors, debuggers, inspectors, listeners and compilers. This integration with Lisp tools enables XML development in the incremental development style Lisp programmers have become accustomed to. This article describes XMLisp in the context of the AgentCubes simulation and gameauthoring tool. AgentCubes is the 3D version of AgentSheets system, which is the world's most distributed Lisp-based educational simulation and game-authoring tool.