Sciweavers

2638 search results - page 252 / 528
» A Framework for Automatic Debugging
Sort
View
3DPVT
2002
IEEE
184views Visualization» more  3DPVT 2002»
16 years 1 days ago
From 3D Shape Capture to Animated Models
This paper presents a framework for construction of animated models from captured surface shape of real objects. Algorithms are introduced to transform the captured surface shape ...
Adrian Hilton, Jonathan Starck, Gordon Collins
198
Voted
DEM
2001
Springer
198views GIS» more  DEM 2001»
15 years 11 months ago
Modeling of Ecosystems as a Data Source for Real-Time Terrain Rendering
With the advances in rendering hardware, it is possible to render very complex scenes in real-time. In general, computers do not have enough memory to store all the necessary infor...
Johan Hammes
202
Voted
CP
2000
Springer
15 years 11 months ago
A Language for Audiovisual Template Specification and Recognition
We address the issue of detecting automatically occurrences of high level patterns in audiovisual documents. These patterns correspond to recurring sequences of shots, which are co...
Jean Carrive, Pierre Roy, François Pachet, ...
SI3D
1999
ACM
15 years 11 months ago
Preprocessing occlusion for real-time selective refinement
Visibility computation and level of detail modeling are two important components of efficient scenerendering algorithms. Both aim to lessen the graphics load by lowering polygon c...
Fei-Ah Law, Tiow Seng Tan
CADE
1998
Springer
15 years 11 months ago
Automated Theorem Proving in a Simple Meta-Logic for LF
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
Carsten Schürmann, Frank Pfenning