Sciweavers

67 search results - page 4 / 14
» View dependent isosurface extraction
Sort
View
CGF
2010
148views more  CGF 2010»
13 years 6 months ago
Hardware-Assisted Projected Tetrahedra
We present a flexible and highly efficient hardware-assisted volume renderer grounded on the original Projected Tetrahedra (PT) algorithm. Unlike recent similar approaches, our me...
André Maximo, Ricardo Marroquim, Ricardo C....
ICMCS
2006
IEEE
108views Multimedia» more  ICMCS 2006»
14 years 9 days ago
Efficient Speaker Detection via Target Dependent Data Reduction
Systems designed to extract time-critical information from large volumes of unstructured data must include the ability, both from an architectural and algorithmic point of view, t...
Upendra V. Chaudhari, Olivier Verscheure, Juan Hue...
ICIP
2008
IEEE
14 years 8 months ago
Omnidirectional tracking and recognition of persons in planar views
In this paper a view-independent head tracking system applying an Active Shape Model based particle filter is used to find precise image sections. DCTmod2 feature sequences are ex...
Andre Störmer, Gerhard Rigoll, Sascha Schreib...
WCRE
2006
IEEE
14 years 8 days ago
An Orchestrated Multi-view Software Architecture Reconstruction Environment
Most approaches in reverse engineering literature generate a single view of a software system that restricts the scope of the reconstruction process. We propose an orchestrated se...
Kamran Sartipi, Nima Dezhkam, Hossein Safyallah
CORR
2011
Springer
137views Education» more  CORR 2011»
13 years 1 months ago
Existential witness extraction in classical realizability and via a negative translation
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
Alexandre Miquel