670 search results - page 103 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
104
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Autonomous estimation of the altitude of an Unmanned Aerial Vehicle (UAV) is extremely important when dealing with flight maneuvers like landing, steady flight, etc. ...
98
Voted
EUROSYS
2007
ACM
15 years 9 months ago
2007
ACM
Real production applications ranging from enterprise applications to large e-commerce sites share a crucial but seldom-noted characteristic: The relative frequencies of transactio...
129
Voted
JIRS
2008
15 years 14 days ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
114
Voted
ICAT
2003
IEEE
15 years 5 months ago
2003
IEEE
A basic problem with Augmented Reality systems using Head-Mounted Displays (HMDs) is the perceived latency or lag. This delay corresponds to the elapsed time between the moment wh...
132
click to vote
DAC
2004
ACM
16 years 1 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...