200 search results - page 13 / 40 » Spatio-Temporal Conceptual Models: Data Structures Space ... |
112
Voted
STACS
2009
Springer
15 years 10 months ago
2009
Springer
We study data structures in the presence of adversarial noise. We want to encode a given object in a succinct data structure that enables us to efficiently answer specific queries...
119
Voted
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
147
Voted
AAAI
2008
15 years 6 months ago
2008
In order to interact successfully in social situations, a robot must be able to observe others' actions and base its own behavior on its beliefs about their intentions. Many ...
127
Voted
FM
2001
Springer
15 years 8 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
124
Voted
CGI
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents animated sweepers, a method for animating the space deformations called sweepers. This technique allows a user to animate the modeling of a shape, and to edit ...