Sciweavers

1716 search results - page 219 / 344
» Generating models for temporal representations
Sort
View
ECCV
2004
Springer
15 years 3 months ago
A 2D Fourier Approach to Deformable Model Segmentation of 3D Medical Images
Anatomical shapes present a unique problem in terms of accurate representation and medical image segmentation. Three-dimensional (3D) statistical shape models have been extensivel...
Eric Berg, Mohamed Mahfouz, Christian Debrunner, W...
ISVC
2007
Springer
15 years 4 months ago
An Anti-aliasing Technique for Voxel-Based Massive Model Visualization Strategies
CAD models of industrial installations usually have hundreds of millions of triangles. For this reason they cannot be interactively rendered in the current generation of computer h...
Gustavo N. Wagner, Alberto Raposo, Marcelo Gattass
APN
2008
Springer
15 years 11 hour ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud
WSCG
2003
149views more  WSCG 2003»
14 years 11 months ago
Boolean Operations on Feature-based Models
Boolean operations and feature-based modeling are closely linked domains. For example, several, sometimes many Boolean operations are involved during a feature instantiation or mo...
Yvon Gardan, Christian Minich, Estelle Perrin
APCCM
2009
14 years 11 months ago
Conceptual Business Document Modeling using UN/CEFACT's Core Components
Before two businesses can engage in a business-tobusiness process an agreement about the process execution order and the business documents exchanged in the collaborative process ...
Philipp Liegl