Sciweavers

4985 search results - page 832 / 997
» Observation of String-Rewriting Systems
Sort
View
TASLP
2008
98views more  TASLP 2008»
15 years 6 months ago
An Integrative and Discriminative Technique for Spoken Utterance Classification
Abstract-- Traditional methods of spoken utterance classification (SUC) adopt two independently trained phases. In the first phase, an automatic speech recognition (ASR) module ret...
Sibel Yaman, Li Deng, Dong Yu, Ye-Yi Wang, Alex Ac...
ASE
2005
91views more  ASE 2005»
15 years 6 months ago
Deviation Analysis: A New Use of Model Checking
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Wha...
BC
2005
82views more  BC 2005»
15 years 6 months ago
Feedback equilibrium control during human standing
Abstract Equilibrium maintenance during standing in humans was investigated with a 3-joint (ankle, knee and hip) sagittal model of body movement. The experimental paradigm consiste...
A. V. Alexandrov, Alexander A. Frolov, F. B. Horak...
BC
2005
80views more  BC 2005»
15 years 6 months ago
Dynamics of multifrequency coordination using parametric driving: theory and experiment
Abstract The coupling of movement behavior and environmental signals has been extensively studied within the domain of rhythmic coordination tasks. However, in contrast to most tra...
Collins G. Assisi, Viktor K. Jirsa, J. A. Scott Ke...
TOPNOC
2008
15 years 6 months ago
McMillan's Complete Prefix for Contextual Nets
Abstract. In a seminal paper, McMillan proposed a technique for constructing a finite complete prefix of the unfolding of bounded (i.e., finitestate) Petri nets, which can be used ...
Paolo Baldan, Andrea Corradini, Barbara König...