504 search results - page 84 / 101 » Explaining Verification Conditions |
AAAI
2010
13 years 9 months ago
2010
Active object exploration is one of the hallmarks of human and animal intelligence. Research in psychology has shown that the use of multiple exploratory behaviors is crucial for ...
HICSS
2008
IEEE
13 years 9 months ago
2008
IEEE
This study investigates how consumers evaluate a product when they read conflicting online consumer reviews of evaluations from previous consumers. If consumers are rational, as i...
AROBOTS
2008
13 years 9 months ago
2008
Abstract-- 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 compon...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Although backpropagation ANNs generally predict better than decision trees do for pattern classification problems, they are often regarded as black boxes, i.e., their predictions c...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
This paper studies the optimization of observation channels (stochastic kernels) in partially observed stochastic control problems. In particular, existence, continuity, and convex...