Sciweavers

2549 search results - page 463 / 510
» Interactive virtual angioscopy
Sort
View
132
Voted
ENTCS
2008
94views more  ENTCS 2008»
15 years 3 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp
116
Voted
CACM
2006
102views more  CACM 2006»
15 years 3 months ago
Argumentation support: from technologies to tools
Electronic argumentation support is increasingly important in today's networked society. Virtual research collaboration, e-business, and many other domains of professional li...
Aldo de Moor, Mark Aakhus
108
Voted
CG
2006
Springer
15 years 3 months ago
A realtime immersive application with realistic lighting: The Parthenon
Off-line rendering techniques have nowadays reached an astonishing level of realism but pay the cost of long computational times. The new generation of programmable graphic hardwa...
Marco Callieri, Paul E. Debevec, J. Pair, Roberto ...
136
Voted
CGF
2007
133views more  CGF 2007»
15 years 3 months ago
Pedestrian Reactive Navigation for Crowd Simulation: a Predictive Approach
This paper addresses the problem of virtual pedestrian autonomous navigation for crowd simulation. It describes a method for solving interactions between pedestrians and avoiding ...
Sébastien Paris, Julien Pettré, St&e...
IJCSS
2006
94views more  IJCSS 2006»
15 years 3 months ago
Minimum Jerk Reaching Movements of Human Arm with Mechanical Constraints at Endpoint
In this paper, minimum jerk movement on the constrained sphere was studied by using both theoretical analysis and experimental investigation. Based on the constraint optimal princ...
D. H. Sha, James L. Patton, Ferdinando A. Mussa-Iv...