1722 search results - page 268 / 345 » Generating Tests from Counterexamples |
IEEEARES
2006
IEEE
14 years 1 months ago
2006
IEEE
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Sensing events from dynamic environments are normally asynchronous and non-repeatable. This lack of repeatability makes it particularly difficult to statistically evaluate the...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— Haptic interface devices and teleoperation masters are multiple degree of freedom devices manipulated by an operator to generate realtime motion commands to simulated environme...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper presents a sensor fusion model developed for the 2005 Grand Challenge competition, an autonomous ground vehicle race across the Mojave desert organized by DARPA1 . T...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This paper deals with the generation of motion pattern for humanoid robots vertical jump. The study concentrates on the landing phase of the jump which is the most dema...