Sciweavers

11716 search results - page 308 / 2344
» Computable symbolic dynamics
Sort
View
162
Voted
CSR
2010
Springer
15 years 11 months ago
Realizability of Dynamic MSC Languages
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
Benedikt Bollig, Loïc Hélouët
ACL
2010
15 years 4 months ago
Correcting Errors in Speech Recognition with Articulatory Dynamics
We introduce a novel mechanism for incorporating articulatory dynamics into speech recognition with the theory of task dynamics. This system reranks sentencelevel hypotheses by th...
Frank Rudzicz
PKDD
2005
Springer
89views Data Mining» more  PKDD 2005»
16 years 5 days ago
Numbers in Multi-relational Data Mining
Numeric data has traditionally received little attention in the field of Multi-Relational Data Mining (MRDM). It is often assumed that numeric data can simply be turned into symbol...
Arno J. Knobbe, Eric K. Y. Ho
ICRA
2003
IEEE
196views Robotics» more  ICRA 2003»
15 years 12 months ago
Generating whole body motions for a biped humanoid robot from captured human dances
— The goal of this study is a system for a robot to imitate human dances. This paper describes the process to generate whole body motions which can be performed by an actual bipe...
Shinichiro Nakaoka, Atsushi Nakazawa, Kazuhito Yok...
181
Voted
ICSM
2000
IEEE
15 years 11 months ago
ConSIT: A Conditioned Program Slicer
Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including re-use, ree...
Chris Fox, Mark Harman, Robert M. Hierons, Sebasti...