399 search results - page 47 / 80 » Efficient Model Checking Using Tabled Resolution |
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
A new method for three dimensional (3D) genus-zero shape classification is proposed. It conformally maps a 3D mesh onto a unit sphere and uses normal vectors to generate a spheric...
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
Cartesian tensor basis have been widely used to approximate spherical functions. In Medical Imaging, tensors of various orders have been used to model the diffusivity function in ...
CGF
2005
13 years 8 months ago
2005
Current surface-based methods for interactive freeform editing of high resolution 3D models are very powerful, but at the same time require a certain minimum tessellation or sampl...
SPIN
2000
Springer
14 years 6 days ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
CGF
2005
13 years 8 months ago
2005
We present a novel framework for the efficient simulation and animation of discrete thin shells. Our method takes a point sampled surface as input and performs all necessary compu...