4084 search results - page 527 / 817 » Constraints in spatial structures |
145
click to vote
MICCAI
2007
Springer
16 years 5 months ago
2007
Springer
In this paper, we propose a fully automatic method for the coupled 3D localization and segmentation of lower abdomen structures. We apply it to the joint segmentation of the prosta...
133
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
154
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
This paper sums up lessons learned from a sequence of cooperative design workshops where end users were enabled to design mobile systems through scenario building, role playing, a...
148
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
125
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In structure from motion, if two metric structures are given, the unknown scale between them can be resolved by constraining the rigidity of the metric space. There exist two well...