Sciweavers

2649 search results - page 385 / 530
» Temporal Theories of Reasoning
Sort
View
AIPS
2006
13 years 10 months ago
Safe LTL Assumption-Based Planning
Planning for partially observable, nondeterministic domains is a very signi cant and computationally hard problem. Often, reasonable assumptions can be drawn over expected/nominal...
Alexandre Albore, Piergiorgio Bertoli
ICHIM
2001
139views more  ICHIM 2001»
13 years 10 months ago
Automated 3D Recording of Archaeological Pottery
At excavations a large number of sherds of archaeological pottery is found. Since the documentation and administration of these fragments represent a temporal and personnel effort...
Martin Kampel, Robert Sablatnig
INTERACT
2003
13 years 10 months ago
High-Density Cursor: a Visualization Technique that Helps Users Keep Track of Fast-moving Mouse Cursors
: As bigger screens and multi-monitor configurations become more popular, users employ higher mouse accelerations in order to traverse the screen reasonably quickly. The faster the...
Patrick Baudisch, Edward Cutrell, George G. Robert...
INTERACT
2003
13 years 10 months ago
A Model-Based Approach for Engineering Multimodal Interactive Systems
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
Philippe A. Palanque, Amélie Schyn
AAAI
1997
13 years 10 months ago
Model Decomposition and Simulation: A Component Based Qualitative Simulation Algorithm
Traditionally, qualitative simulation uses a global, state-based representation to describe the behavior of the modeled system. For larger, more complex systems this representatio...
Daniel J. Clancy, Benjamin Kuipers