3 search results - page 1 / 1 » Way-Finder: Guided Tours Through Complex Walkthrough Models |
CGF
2004
13 years 7 months ago
2004
CI
2000
13 years 7 months ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
DSN
2007
IEEE
14 years 1 months ago
2007
IEEE
Autonomous robots offer alluring perspectives in numerous application domains: space rovers, satellites, medical assistants, tour guides, etc. However, a severe lack of trust in t...