3387 search results - page 534 / 678 » Model-Checking for Real-Time Systems |
97
Voted
RAS
2002
15 years 14 days 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...
127
Voted
ICRA
2010
IEEE
14 years 11 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 ...
IPL
2010
14 years 11 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...
82
Voted
WEBI
2010
Springer
14 years 10 months 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...
119
Voted
HCI
2009
14 years 10 months 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...