6308 search results - page 1078 / 1262 » Modeling Urgency in Timed Systems |
182
click to vote
DATE
2008
IEEE
16 years 22 days ago
2008
IEEE
Embedded systems are becoming increasingly complex. Besides the additional processing capabilities, they are characterized by high diversity of computational models coexisting in ...
142
click to vote
HASE
2008
IEEE
16 years 22 days ago
2008
IEEE
For complex services, logging is an integral part of many middleware aspects, especially, transactions and monitoring. In the event of a failure, the log allows us to deduce the c...
155
click to vote
ICRA
2008
IEEE
16 years 21 days ago
2008
IEEE
— In order to provide personalized services and to develop human-like interaction capabilities robots need to recognize their human partner. Face recognition has been studied in ...
187
click to vote
IROS
2008
IEEE
16 years 20 days ago
2008
IEEE
— We present a system for Monocular Simultaneous Localization and Mapping (Mono-SLAM) relying solely on video input. Our algorithm makes it possible to precisely estimate the cam...
192
click to vote
QEST
2008
IEEE
16 years 19 days ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...