Sciweavers

1433 search results - page 134 / 287
» Visualizing Coercible Simulations
Sort
View
VIS
2009
IEEE
216views Visualization» more  VIS 2009»
16 years 1 months ago
Volume Ray Casting with Peak Finding and Differential Sampling
Direct volume rendering and isosurfacing are ubiquitous rendering techniques in scientific visualization, commonly employed in imaging 3D data from simulation and scan sources. Con...
Aaron Knoll, Younis Hijazi, Rolf Westerteiger, ...
99
Voted
CAV
2009
Springer
157views Hardware» more  CAV 2009»
16 years 1 months ago
Explaining Counterexamples Using Causality
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
Ilan Beer, Shoham Ben-David, Hana Chockler, Avigai...
ACCV
2009
Springer
15 years 7 months ago
Multi-view Texturing of Imprecise Mesh
Abstract. Reprojection of texture issued from cameras on a mesh estimated from multi-view reconstruction is often the last stage of the pipeline, used for rendering, visualization,...
Ehsan Aganj, Pascal Monasse, Renaud Keriven
105
Voted
ISMAR
2007
IEEE
15 years 7 months ago
Laparoscopic Virtual Mirror for Understanding Vessel Structure Evaluation Study by Twelve Surgeons
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...
Christoph Bichlmeier, Sandro Michael Heining, Moha...
IROS
2006
IEEE
168views Robotics» more  IROS 2006»
15 years 6 months ago
Scanning the Environment with Two Independent Cameras - Biologically Motivated Approach
— In this paper we present a novel method for visual scanning and target tracking by means of independent pan-tilt cameras which mimic the chameleon visual system. We present a s...
Ofir Avni, Francesco Borrelli, Gadi Katzir, Ehud R...