4460 search results - page 505 / 892 » Formal methods for interactive systems |
196
click to vote
CA
1999
IEEE
15 years 11 months ago
1999
IEEE
The recent addition of force and touch feedback to Virtual Reality simulations has enhanced their realism. Research on haptics interfaces is now extended to physical modeling of c...
178
click to vote
CGI
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes an incremental polygonization technique for implicit surfaces built from skeletal elements. Our method lends itself for an interactive modeling system as the ...
192
Voted
IJCAI
2007
15 years 8 months ago
2007
We evaluate a new hybrid language processing approach designed for interactive applications that maintain an interaction with users over multiple turns. Specifically, we describe ...
176
click to vote
WSCG
2003
15 years 8 months ago
2003
The processing and usage of 3D graphics and video have been becoming very important and popular in many areas. At present, some of these areas seem to grow together. 3D television...
161
click to vote
GIS
2000
ACM
15 years 6 months ago
2000
ACM
Recommendationsfor implementationand evaluation of Geographical Information Systems (GIS) can bene t from a broader theoretical foundation to support investigation, understanding a...