4460 search results - page 787 / 892 » Formal methods for interactive systems |
VRML
2004
ACM
14 years 2 months ago
2004
ACM
Maps of physical environments and geographical areas are pervasively exploited in many human activities. Electronic maps of virtual worlds have been studied and proven to be usefu...
MM
2003
ACM
14 years 2 months ago
2003
ACM
We present an approach to video editing where movie sequences are treated as spatio-temporal volumes that can be sheered and warped under user control. This simple capability enab...
VLDB
2001
ACM
14 years 1 months ago
2001
ACM
A range-sum query is very popular and becomes important in finding trends and in discovering relationships between attributes in diverse database applications. It sums over the se...
SMI
1999
IEEE
14 years 1 months ago
1999
IEEE
Surgical simulation is the coming training method for medical education. The main reasons for this are the reduced risk for the patients and the easy repeatability of complicated ...
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper discusses how a robot can develop its state vector according to the complexity of the interactions with its environment. A method for controlling the complexity is prop...