Sciweavers

2550 search results - page 394 / 510
» Difference Decision Diagrams
Sort
View
ADC
2004
Springer
109views Database» more  ADC 2004»
15 years 11 months ago
Data Flow and Validation in Workflow Modelling
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
Shazia W. Sadiq, Maria E. Orlowska, Wasim Sadiq, C...
ATAL
2004
Springer
15 years 11 months ago
Time-Variant Distributed Agent Matching Applications
The process of pair partnership formation is an important infrastructure for many plausible MAS applications. Each agent evaluates potential partner agents, where each potential m...
David Sarne, Sarit Kraus
CAV
2004
Springer
123views Hardware» more  CAV 2004»
15 years 11 months ago
SAL 2
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
Leonardo Mendonça de Moura, Sam Owre, Haral...
ICMI
2004
Springer
281views Biometrics» more  ICMI 2004»
15 years 11 months ago
Articulatory features for robust visual speech recognition
Visual information has been shown to improve the performance of speech recognition systems in noisy acoustic environments. However, most audio-visual speech recognizers rely on a ...
Kate Saenko, Trevor Darrell, James R. Glass
IEAAIE
2004
Springer
15 years 11 months ago
Recognition of Emotional States in Spoken Dialogue with a Robot
For flexible interactions between a robot and humans, we address the issue of automatic recognition of human emotions during the interaction such as embarrassment, pleasure, and af...
Kazunori Komatani, Ryosuke Ito, Tatsuya Kawahara, ...