3719 search results - page 195 / 744 » RACER System Description |
149
click to vote
HYBRID
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
142
click to vote
LISA
1994
15 years 7 months ago
1994
This paper presents a machine configuration system which stores all configuration parameters in a central ``database''. The system is dynamic in the sense that machines ...
146
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
We present a new control design method for perturbed multiple-input systems, which guarantees any desired componentwise ultimate bound on the system state. The method involves eig...
150
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
In this paper we present experiments related to the validation of spoken language understanding capabilities in a language and culture training system. In this application, word-l...
177
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
In this paper, we describe our work in progress on the reasoning module of ec(h)o, an augmented audio-reality interface for museum visitors utilizing spatialized soundscapes and a...