3387 search results - page 534 / 678 » Model-Checking for Real-Time Systems |
114
Voted
RAS
2002
15 years 2 months ago
2002
In this paper, we address the problem of generating trajectories of some image features in order to control efficiently a robotic system using an image-based control strategy. Firs...
143
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— This paper presents a method for vision based estimation of the pose of human hands in interaction with objects. Despite the fact that most robotics applications of human hand ...
96
Voted
IPL
2010
15 years 1 months ago
2010
In this paper, we re-analyse the Rate Monotonic Scheduler. Traditionally, the schedulability condition was obtained from the greatest lower bound of utilisation factors over all t...
98
Voted
WEBI
2010
Springer
15 years 14 days ago
2010
Springer
In this paper we discuss the collection, semantic annotation and analysis of real-time social signals from microblogging data. We focus on users interested in analyzing social sign...
145
Voted
HCI
2009
15 years 11 days ago
2009
The paper describes an experimental work conducted within the HILAS (Human Integration into the Lifecycle of Aviation Systemshttp://www.hilas.info/mambo/) project. The objective of...