1078 search results - page 166 / 216 » Local and Global Relational Consistency |
POPL
2010
ACM
14 years 8 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
ICIP
2004
IEEE
15 years 19 days ago
2004
IEEE
An object seen from different viewpoints results in differently deformed images. Affine-invariant shape classification must classify correctly the object, disregarding its viewpoi...
ISBI
2006
IEEE
14 years 11 months ago
2006
IEEE
In this paper, we describe the use of three different shape measures -- i.e., shape index, curvedness, and L2 norm of mean curvature -- to quantify cortical gyrification and compl...
RECOMB
2008
Springer
14 years 11 months ago
2008
Springer
As an increasing number of eukaryotic genomes are being sequenced, comparative studies aimed at detecting regulatory elements in intergenic sequences are becoming more prevalent. M...
CVPR
2010
IEEE
14 years 7 months ago
2010
IEEE
Surface registration is a fundamental step in the reconstruction of three-dimensional objects. This is typically a two step process where an initial coarse motion estimation is fo...