2656 search results - page 328 / 532 » A general purpose animator |
140
click to vote
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
166
click to vote
WEBDB
2005
Springer
15 years 11 months ago
2005
Springer
In recent years it has been argued that when XML encodings become complex, DOM trees are no longer adequate for query processing. Alternative representations of XML documents, suc...
178
click to vote
ACMACE
2004
ACM
15 years 11 months ago
2004
ACM
This paper describes a case study of VR platform Magic Mirror and its applications that are economic in development process and cost, flexible by contents and installation conditi...
184
click to vote
CASES
2004
ACM
15 years 11 months ago
2004
ACM
Recognizing speech, gestures, and visual features are important interface capabilities for future embedded mobile systems. Unfortunately, the real-time performance requirements of...
163
click to vote
COMPGEOM
2004
ACM
15 years 11 months ago
2004
ACM
The computation of Delaunay triangulations from static point sets has been extensively studied in computational geometry. When the points move with known trajectories, kinetic dat...