Sciweavers

3333 search results - page 277 / 667
» New Invariants for Groups
Sort
View
ISBI
2002
IEEE
16 years 7 months ago
Covariance-driven retinal image registration initialized from small sets of landmark correspondences
An automatic retinal image registration algorithm would be an important tool for detecting visible changes in the retina caused by the progress of a disease or by the impact of a ...
Chia-Ling Tsai, Charles V. Stewart, Badrinath Roys...
ISBI
2008
IEEE
16 years 7 months ago
Sift-based sequence registration and flow-based cortical vessel segmentation applied to high resolution optical imaging data
Several functional and biomedical imaging techniques rely on determining hemodynamic variables and their changes in large vascular networks. To do so at micro-vascular resolution ...
Ivo Vanzetta, Mickaël Péchaud, Renaud ...
POPL
2006
ACM
16 years 7 months ago
Small bisimulations for reasoning about higher-order imperative programs
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
Vasileios Koutavas, Mitchell Wand
ICSE
2007
IEEE-ACM
16 years 6 months ago
Do Maintainers Utilize Deployed Design Patterns Effectively?
One claimed benefit of deploying design patterns is facilitating maintainers to perform anticipated changes. However, it is not at all obvious that the relevant design patterns de...
T. H. Ng, S. C. Cheung, W. K. Chan, Y. T. Yu
CVPR
2010
IEEE
16 years 3 months ago
Two Perceptually Motivated Strategies for Shape Classification
In this paper, we propose two new, perceptually motivated strategies to better measure the similarity of 2D shape instances that are in the form of closed contours. The first strat...
Andrew Temlyakov, Brent C. Munsell, Jarrell W. Wag...