Sciweavers

1301 search results - page 130 / 261
» Specifications via Realizability
Sort
View
109
Voted
ICIP
2004
IEEE
16 years 5 months ago
Shape-adaptive coding using binary set splitting with k-d trees
The binary set splitting with k-d trees (BISK) algorithm is introduced. An embedded wavelet-based image coder based on the popular bitplane-coding paradigm, BISK is designed speci...
James E. Fowler
131
Voted
ICIP
2003
IEEE
16 years 5 months ago
PDE-based modeling of image segmentation using volumic flooding
The classical case of morphological segmentation is based on the watershed transform, constructed by flooding the gradient image, which is seen as a topographic surface, with cons...
Anastasia Sofou, Petros Maragos
99
Voted
MICCAI
2009
Springer
16 years 4 months ago
Task-Optimal Registration Cost Functions
Abstract. In this paper, we propose a framework for learning the parameters of registration cost functions ? such as the tradeoff between the regularization and image similiarity t...
B. T. Thomas Yeo, Mert R. Sabuncu, Polina Gollan...
120
Voted
ICPR
2006
IEEE
16 years 4 months ago
A Unified Formulation of Invariant Point Pattern Matching
We present a unified framework for modeling and solving invariant point pattern matching problems. Invariant features are encoded as potentials in a probabilistic graphical model....
Terry Caelli, Tibério S. Caetano
109
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
Assessing Test-Driven Development at IBM
In a software development group of IBM Retail Store Solutions, we built a non-trivial software system based on a stable standard specification using a disciplined, rigorous unit t...
E. Michael Maximilien, Laurie A. Williams