4460 search results - page 631 / 892 » Formal methods for interactive systems |
202
click to vote
GW
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The use of gesture as a natural interface serves as a motivating force for research in modeling, analyzing and recognition of gestures. In particular, human computer inte...
141
click to vote
TREC
1994
15 years 7 months ago
1994
Full-text scanning oers signi cant advantages over other methods of document retrieval but is normally too slow for use on large collections. The Fujitsu AP1000 parallel distribut...
158
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
An integral element of every surgical simulator is the ability to interactively cut tissue. A number of approaches have been suggested in the past, the most important being mesh su...
148
click to vote
ICRA
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...
166
click to vote
PRESENCE
2002
15 years 6 months ago
2002
This paper presents a method for creating 3D models of real objects using video see-through augmented reality. We use a tracked probe to sample the objects' geometries and vi...