99 search results - page 19 / 20 » Formalising Believability and Building Believable Virtual Ag... |
CAV
2006
Springer
13 years 9 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
JCAL
2010
13 years 2 days ago
2010
Our schools have been experiencing three overlapping waves of technology adoption since the mid-1980s: the personal computer lab wave, the online learning wave, and the digital cl...
AAAI
2004
13 years 6 months ago
2004
Dynamically-balancing robots have recently been made available by Segway LLC, in the form of the Segway RMP (Robot Mobility Platform). We have addressed the challenge of using the...
HT
2009
ACM
13 years 11 months ago
2009
ACM
The early Web was hailed for being easy to use, and what is more important, giving people a chance to participate in its growth. The Web3D was believed to have potential to be the...
ICRA
2005
IEEE
13 years 11 months ago
2005
IEEE
— This paper addresses the problem of classifying places in the environment of a mobile robot into semantic categories. We believe that semantic information about the type of pla...