1560 search results - page 30 / 312 » interfaces 2010 |
CAV
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
ICWE
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. Current Web applications embed sophisticated user interfaces and business logic. The original interaction paradigm of the Web with static content pages that are browsed b...
DEXAW
2010
IEEE
13 years 11 months ago
2010
IEEE
This work is focused on the context of speech interfaces for controlling household electronic devices. In particular, we present an example of a spoken dialogue system for controll...
DATE
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—The SPEEDS project is aimed at making rich components models (RCM) into a mature framework in all phases of the design of complex distributed embedded systems. The RCM m...
ICCHP
2010
Springer
13 years 8 months ago
2010
Springer
Current Automatic Speech Recognition (ASR) systems designed to recognize dysarthric speech require an investment in training that involves considerable effort and must be repeated ...