439 search results - page 77 / 88 » Type invariants for Haskell |
ADBIS
2005
Springer
14 years 1 months ago
2005
Springer
A key observation is that the invariants in database management determine the mapping steps of the supporting architecture. Referring to the multi-layered architecture of record-or...
DAGM
2005
Springer
14 years 1 months ago
2005
Springer
This paper introduces a new operator to characterize a point in an image in a distinctive and invariant way. The robust recognition of points is a key technique in computer vision:...
IBPRIA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Some recent works have addressed the object recognition problem by representing objects as the composition of independent image parts, where each part is modeled with “...
CVPR
2010
IEEE
14 years 28 days ago
2010
IEEE
Local features or image patches have become a standard tool in computer vision, with numerous application domains. Roughly speaking, two different types of patchbased image repres...
PLDI
2003
ACM
14 years 25 days ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...