4460 search results - page 575 / 892 » Formal methods for interactive systems |
166
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a user-steered segmentation algorithm based on the livewire paradigm. Livewire is an image-feature driven method that finds the optimal path between user-selec...
184
click to vote
TEC
2002
15 years 6 months ago
2002
A novel approach to hardware fault tolerance is demonstrated that takes inspiration from the human immune system as a method of fault detection. The human immune system is a remark...
178
click to vote
VR
2000
IEEE
15 years 11 months ago
2000
IEEE
Usability has become one of the key ingredients in making virtual reality (VR) systems work, and a big part of a usable VR system is in the design of effective interface/interacti...
191
click to vote
ACMDIS
2004
ACM
16 years 2 days ago
2004
ACM
The success of translating an analog or manual practice into a digital interactive system may depend on how well that translation captures not only the functional what and how asp...
165
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
Current linear-time simulation methods for articulated figures are based exclusively on reduced-coordinate formulations. This paper describes a general, non-iterative linear-time ...