7557 search results - page 1327 / 1512 » Modeling Timed Concurrent Systems |
160
Voted
HASE
2008
IEEE
16 years 1 months 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...
168
Voted
ICRA
2008
IEEE
16 years 1 months 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 ...
204
Voted
IROS
2008
IEEE
16 years 1 months 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...
204
Voted
QEST
2008
IEEE
16 years 1 months 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...
179
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
New product development (NPD) projects require efficient strategies for reducing time to market and responding faster and better to the customer needs. While these strategies were...