Sciweavers

796 search results - page 142 / 160
» Molecular Surface Abstraction
Sort
View
ICRA
2003
IEEE
94views Robotics» more  ICRA 2003»
15 years 3 months ago
Enveloping obstacles with hexagonal metamorphic robots
Abstract— The problem addressed is the distributed reconfiguration of a metamorphic robot system composed of any number of two dimensional robots (modules). The initial configu...
Jennifer E. Walter, Elizabeth M. Tsai, Nancy M. Am...
EUROCAST
2003
Springer
135views Hardware» more  EUROCAST 2003»
15 years 3 months ago
White Matter Mapping in DT-MRI Using Geometric Flows
Abstract. We present a 3D geometric flow designed to evolve in Diffusion Tensor Magnetic Resonance Images(DT-MRI) along fiber tracts by measuring the diffusive similarity betwe...
Lisa Jonasson, Patric Hagmann, Xavier Bresson, Ret...
ICPR
2002
IEEE
15 years 3 months ago
High-Resolution Reconstruction of Sparse Data from Dense Low-Resolution Spatio-Temporal Data
Abstract—A novel approach for reconstruction of sparse highresolution data from lower-resolution dense spatio-temporal data is introduced. The basic idea is to compute the dense ...
Qing Yang, Bahram Parvin
TPHOL
2002
IEEE
15 years 3 months ago
Free-Style Theorem Proving
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
David Delahaye
SIGGRAPH
2010
ACM
15 years 2 months ago
Discrete scale axis representations for 3D geometry
This paper addresses the fundamental problem of computing stable medial representations of 3D shapes. We propose a spatially adaptive classification of geometric features that yi...
Balint Miklos, Joachim Giesen, Mark Pauly