9264 search results - page 433 / 1853 » Space Between Languages |
208
click to vote
ENTCS
2002
15 years 6 months ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...
169
Voted
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
The geometry of two uncalibrated views obtained with a parabolic catadioptric device is the subject of this paper. We introduce the notion of circle space, a natural representation...
125
Voted
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
This paper introduces a new method to register images that are rotated and translated with respect to each other. The method works by transforming each image to a gradient distrib...
187
Voted
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Multimedia applications usually have throughput constraints. An implementation must meet these constraints, while it minimizes resource usage and energy consumption. The compute i...
207
click to vote
AAECC
2009
Springer
16 years 1 months ago
2009
Springer
A new reduction on the size of the search space for cocyclic Hadamard matrices over dihedral groups D4t is described, in terms of the so called central distribution. This new searc...