3 search results - page 1 / 1 » Way-Finder: Guided Tours Through Complex Walkthrough Models |
CGF
2004
13 years 5 months ago
2004
CI
2000
13 years 5 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
13 years 11 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...