831 search results - page 50 / 167 » Coalgebraic Correspondence Theory |
MICCAI
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we introduce a novel approach to bridge the gap between the landmark-based and the iconic-based voxel-wise registration methods. The registration problem is formulat...
115
click to vote
ISBI
2011
IEEE
14 years 3 months ago
2011
IEEE
We address the problem of segmenting high angular resolution diffusion images of the brain into cerebral regions corresponding to distinct white matter fiber bundles. We cast thi...
ICIP
2009
IEEE
16 years 26 days ago
2009
IEEE
This paper proposes a motion-focusing method to extract key frames and generate summarization synchronously for surveillance videos. Within each pre-segmented video shot, the prop...
DCC
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract. We apply tools coming from singularity theory, as Hamburger-Noether expansions, and from valuation theory, as generating sequences, to explicitly describe order functions...
107
click to vote
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...