1982 search results - page 106 / 397 » Parametricity and dependent types |
145
click to vote
IWCM
2004
Springer
15 years 10 months ago
2004
Springer
We present a variational approach for segmenting the image plane into regions of piecewise parametric motion given two or more frames from an image sequence. Our model is based on ...
145
click to vote
PAMI
2002
15 years 4 months ago
2002
Tracking regions in an image sequence is a challenging and di cult problem in image processing and computer vision, and at the same time, one that has many important applications:...
241
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
203
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Skin color is an important feature of faces. Various applications benefit from robust skin color detection. Depending on camera settings, illumination, shadows, people's tans...
137
click to vote
ICML
2004
IEEE
16 years 5 months ago
2004
IEEE
Many real-world classification tasks involve the prediction of multiple, inter-dependent class labels. A prototypical case of this sort deals with prediction of a sequence of labe...