1646 search results - page 180 / 330 » Inlining of Virtual Methods |
114
Voted
ECBS
2003
IEEE
15 years 7 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
101
click to vote
ICAT
2003
IEEE
15 years 7 months ago
2003
IEEE
This study presents a haptic simulator for learning palpation of aorta in cardiovascular surgery and performs quantitative evaluation in educational use through some user study. T...
CW
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper addresses interactive function-based shape modeling where relatively small formulas are used rather than thousands of polygons. Interactive modification of the function...
146
Voted
SIBGRAPI
2002
IEEE
15 years 7 months ago
2002
IEEE
We present an output-sensitive occlusion culling algorithm for densely occluded dynamic scenes where both the viewpoint and objects move arbitrarily. Our method works on a regular ...
108
click to vote
ECAI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The inclusion of additional modalities into the communicative behavior of virtual agents besides speech has moved into focus of human-computer interface researchers, as h...