180 search results - page 29 / 36 » Loop Invariants on Demand |
125
click to vote
RTCSA
2009
IEEE
15 years 11 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...
121
click to vote
ICRA
2008
IEEE
15 years 10 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...
158
click to vote
ACIVS
2007
Springer
15 years 10 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 ...
170
click to vote
MODELS
2007
Springer
15 years 10 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 ...
129
Voted
HIPEAC
2005
Springer
15 years 9 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...