180 search results - page 29 / 36 » Loop Invariants on Demand |
RTCSA
2009
IEEE
14 years 2 months ago
2009
IEEE
Distributed real-time embedded systems have stringent requirements for key performance properties, such as endto-end timeliness and reliability, in order to operate properly. In r...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
—A major issue in the field of human-robot interaction for assistance to manipulation is transparency. This basic feature qualifies the capacity for a robot to follow human mov...
ACIVS
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents a monocular vision framework enabling feature-oriented appearance-based navigation in large outdoor environments containing other moving objects. The framework ...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
Recently, the complexity of modern, real-time computer games has increased drastically. The need for sophisticated game AI, in particular for Non-Player Characters, grows with the ...
HIPEAC
2005
Springer
14 years 1 months ago
2005
Springer
ions Sebastian Pop 1 , Albert Cohen 2 , and Georges-Andr´e Silber 1 1 CRI, Mines Paris, Fontainebleau, France 2 ALCHEMY group, INRIA Futurs, Orsay, France Abstract. This paper pre...