Sciweavers

7623 search results - page 1382 / 1525
» Algorithmic Features of Eclat
Sort
View
CGF
2008
101views more  CGF 2008»
13 years 9 months ago
A Prism-Free Method for Silhouette Rendering in Inverse Displacement Mapping
Silhouette is a key feature that distinguishes displacement mapping from normal mapping. However the silhouette rendering in the GPU implementation of displacement mapping (which ...
Ying-Chieh Chen, Chun-Fa Chang
CORR
2010
Springer
81views Education» more  CORR 2010»
13 years 9 months ago
Self-stabilization with Byzantine tolerance for global tasks
Self-stabilization is a versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of a...
Swan Dubois, Toshimitsu Masuzawa, Sébastien...
CORR
2010
Springer
111views Education» more  CORR 2010»
13 years 9 months ago
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
Guido de Caso, Diego Garbervetsky, Daniel Gor&iacu...
CVIU
2010
138views more  CVIU 2010»
13 years 9 months ago
Probabilistic structure matching for visual SLAM with a multi-camera rig
We propose to use a multi-camera rig for simultaneous localization and mapping (SLAM), providing flexibility in sensor placement on mobile robot platforms while exploiting the str...
Michael Kaess, Frank Dellaert
CSI
2008
95views more  CSI 2008»
13 years 9 months ago
Feasibility and infrastructural study of AR interfacing and intuitive simulation on 3D nonlinear systems
High-fidelity simulations with intuitive user interfaces expedite real-world tasks. Augmented Reality (AR), enables 3D computer-generated entities to coexist in users' view o...
Seungjun Kim, Nitaigour-Premchand Mahalik, Anind K...
« Prev « First page 1382 / 1525 Last » Next »