2549 search results - page 361 / 510 » Interactive virtual angioscopy |
121
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
121
click to vote
ACMACE
2005
ACM
15 years 9 months ago
2005
ACM
This paper proposes a real-time system that transforms your shadows on a floor into colorful visual media. This system is based on the effect of complementary color and multipro...
123
Voted
CEEMAS
2005
Springer
15 years 9 months ago
2005
Springer
We show that reputation is a basic ingredient in the Virtual Organisation (VO) formation process. Agents can use their experiences gained in direct past interactions to model other...
119
Voted
IVA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In contrast to the variety of listening behaviors produced in humanto-human interaction, most virtual agents sit or stand passively when a user speaks. This is a reflecti...
107
click to vote
RT
2005
Springer
15 years 9 months ago
2005
Springer
We present a fast exact from-region visibility algorithm for 2.5D urban scenes. The algorithm uses a subdivision of line space for identifying visibility interactions in a 2D foot...