373 search results - page 73 / 75 » Explicitly Modelling Model Debugging Environments |
IROS
2009
IEEE
13 years 11 months ago
2009
IEEE
— In the lion and man game, a lion tries to capture a man who is as fast as the lion. We study a new version of this game which takes place in a Euclidean environment with a circ...
MICRO
2009
IEEE
13 years 11 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
ICRA
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract— We present and examine a technique for estimating the ego-motion of a mobile robot using memory-based learning and a monocular camera. Unlike other approaches that rely...
ESCIENCE
2006
IEEE
13 years 11 months ago
2006
IEEE
A goal of the Geosciences Network (GEON) is to develop cyber-infrastructure that will allow earth scientists to discover access, integrate and disseminate knowledge in distributed...
MEMOCODE
2006
IEEE
13 years 11 months ago
2006
IEEE
The theory of latency-insensitive design (LID) was recently invented to cope with the time closure problem in otherwise synchronous circuits and programs. The idea is to allow the...