8190 search results - page 243 / 1638 » From Timed to Hybrid Systems |
182
click to vote
IPPS
2005
IEEE
16 years 7 days ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
184
click to vote
ACL
2012
13 years 9 months ago
2012
We present a component for incremental speech synthesis (iSS) and a set of applications that demonstrate its capabilities. This component can be used to increase the responsivity ...
173
click to vote
INTERACT
2003
15 years 8 months ago
2003
: In this paper we present the affective message box, a dialog box that employs a real time head gesture recognition system as its input modality. Head nods and shakes correspond t...
133
click to vote
AIPS
1994
15 years 8 months ago
1994
Protection monitors synthesized from plan causal structure provide execution systems with information necessary to detect potential failures early during execution. By detecting e...
161
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...