Sciweavers

5232 search results - page 179 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
VISUALIZATION
2002
IEEE
15 years 6 months ago
Interactive Visualization of Complex Plant Ecosystems
We present a method for interactive rendering of large outdoor scenes. Complex polygonal plant models and whole plant populations are represented by relatively small sets of point...
Oliver Deussen, Carsten Colditz, Marc Stamminger, ...
3DPVT
2006
IEEE
186views Visualization» more  3DPVT 2006»
15 years 8 months ago
Range Image Registration Based on Circular Features
Range sensing technology allows the photo-realistic modeling of large-scale scenes, such as urban structures. A major bottleneck in the process of 3D scene acquisition is the auto...
Cecilia Chao Chen, Ioannis Stamos
BMVC
2001
15 years 4 months ago
TINA 2001: The Closed Loop 3D Model Matcher
This paper discusses advances made to the 3D geometrical model matching system within the TINA machine vision environment over the last 10 years including the recent inclusion of ...
A. J. Lacey, Neil A. Thacker, Patrick Courtney, St...
CONCUR
1997
Springer
15 years 6 months ago
Reachability Analysis of Pushdown Automata: Application to Model-Checking
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
Ahmed Bouajjani, Javier Esparza, Oded Maler
ECAI
2004
Springer
15 years 7 months ago
Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking
Tracking vehicles in image sequences of innercity road traffic scenes still constitutes a challenging task. Even if a-priori knowledge about the 3D shape of vehicles, of backgroun...
Christian Köhler, Artur Ottlik, Hans-Hellmut ...