3706 search results - page 181 / 742 » System Description: E-KRHyper |
HYBRID
1997
Springer
14 years 2 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...
LISA
1994
13 years 11 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 ...
AUTOMATICA
2008
13 years 10 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...
SIGDIAL
2010
13 years 8 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...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
The SRI speaker recognition system for the 2010 NIST speaker recognition evaluation (SRE) incorporates multiple subsystems with a variety of features and modeling techniques. We d...