439 search results - page 62 / 88 » Type invariants for Haskell |
ICCV
2001
IEEE
14 years 9 months ago
2001
IEEE
By representing images and image prototypes by linear subspaces spanned by "tangent vectors" (derivatives of an image with respect to translation, rotation, etc.), impre...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
We present a dynamic near-regular texture (NRT) tracking algorithm nested in a lattice-based Markov-Random-Field (MRF) model of a 3D spatiotemporal space. One basic observation use...
ECCV
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. We introduce a new type of local feature basedon the phaseand amplitude responsesof complex-valuedsteerable filters. The designof this local feature is motivated by a des...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
Classification of images in many category datasets has
rapidly improved in recent years. However, systems that
perform well on particular datasets typically have one or
more lim...
ECOOP
2004
Springer
14 years 1 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...