Sciweavers

1834 search results - page 189 / 367
» PICTURE - A new Approach for Domain-Specific Process Modelli...
Sort
View
3DIM
2003
IEEE
15 years 10 months ago
Deformable Model with Adaptive Mesh and Automated Topology Changes
Due to their general and robust formulation deformable models offer a very appealing approach to 3D image segmentation. However there is a trade-off between model genericity, mode...
Jacques-Olivier Lachaud, Benjamin Taton
TJS
2008
95views more  TJS 2008»
15 years 4 months ago
Combating I-O bottleneck using prefetching: model, algorithms, and ramifications
Multiple memory models have been proposed to capture the effects of memory hierarchy culminating in the I-O model of Aggarwal and Vitter [?]. More than a decade of architectural a...
Akshat Verma, Sandeep Sen
CGF
1999
125views more  CGF 1999»
15 years 4 months ago
Partitioning and Handling Massive Models for Interactive Collision Detection
We describe an approach for interactive collision detection and proximity computations on massive models composed of millions of geometric primitives. We address issues related to...
Andy Wilson, Eric Larsen, Dinesh Manocha, Ming C. ...
VLDB
2006
ACM
207views Database» more  VLDB 2006»
16 years 4 months ago
Modeling and querying moving objects in networks
: Moving Objects Databases have become an important research issue in recent years. For and querying moving objects, there exists a comprehensive framework of abstract data types t...
Ralf Hartmut Güting, Victor Teixeira de Almeida, ...
ASE
2008
102views more  ASE 2008»
15 years 4 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce