1507 search results - page 161 / 302 » Separating Complexity Classes Using Structural Properties |
POPL
2005
ACM
14 years 10 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
MICCAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Deformable image registration in the presence of considerable contrast differences and large-scale size and shape changes represents a significant challenge for image r...
DAGM
2010
Springer
13 years 7 months ago
2010
Springer
We present a model-driven approach to the segmentation of nasal cavity and paranasal sinus boundaries. Based on computed tomography data of a patients head, our approach aims to ex...
ICOODB
2010
13 years 8 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
— Standard methods to model multibody systems are aimed at systems with configuration spaces isomorphic to Rn . This limitation leads to singularities and other artifacts in cas...