504 search results - page 79 / 101 » Explaining Verification Conditions |
BVAI
2007
Springer
14 years 2 months ago
2007
Springer
We tested the efficiency of category learning when participants are provided only with pairs of objects, known to belong either to the same class (Positive Equivalence Constraints ...
FROCOS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
— We present a vision- and ladar-based approach to autonomous driving on rural and desert roads that has been tested extensively in a closed-loop system. The vision component use...
HRI
2006
ACM
14 years 1 months ago
2006
ACM
This paper reports on a field trial with interactive humanoid robots at a science museum where visitors are encouraged to study and develop an interest in science. In the trial, ea...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
We develop a game-theoretical framework to investigate the competitive implications of Consumer-to-Consumer electronic marketplaces, which promote concurrent selling of new and us...