3417 search results - page 98 / 684 » Visualizing Partial Evaluation |
114
click to vote
HAPTICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Haptic devices can be used to visualize information. As well as representing tangible surfaces and forces to enhance virtual training simulators for instance, haptic devices have ...
128
click to vote
ISMAR
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we present the evaluation of a virtual mirror used as a navigational tool within a medical augmented reality (AR) system for laparoscopy. 12 surgeons of our clinical...
115
click to vote
JAR
2007
15 years 3 months ago
2007
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
136
Voted
JUCS
2010
15 years 1 months ago
2010
: Ontologies are used to represent a variety of domain knowledge and data collections, scopes, viewpoints and linked heterogeneous information sources. They range from simple topol...
114
Voted
CHI
2007
ACM
16 years 3 months ago
2007
ACM
We present the results of a field study of some of the work practices and software used by dentists. We also present the design, implementation, and evaluation of a user interface...