1105 search results - page 143 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
151
Voted
HYBRID
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
139
Voted
KDD
2004
ACM
15 years 9 months ago
2004
ACM
We are developing a technique to predict travel time of a vehicle for an objective road section, based on real time traffic data collected through a probe-car system. In the area ...
102
Voted
ICMI
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, we develop a system to track and recognize hand motion in nearly real time. An important application of this system is to simulate mouse as a visual inputting device...
135
Voted
TOOLS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
114
Voted
ESANN
1998
15 years 4 months ago
1998
Our problem concerns the joint interpretation of UltraSonic and InfraRed measurements provided by a composite proximity sensor, in order to extract geometrical and morphological f...