2596 search results - page 249 / 520 » Gradual Typing for Objects |
126
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
144
click to vote
NGC
2002
Springer
15 years 4 months ago
2002
Springer
In the attempt to have a framework where the computation is done by communication only, we consider the biological phenomenon of trans-membrane transport of couples of chemicals (o...
131
click to vote
IJCV
2010
15 years 3 months ago
2010
Abstract The use of traditional moment invariants in object recognition is limited to simple geometric transforms, such as rotation, scaling and affine transformation of the image...
169
Voted
IPCV
2010
15 years 2 months ago
2010
Abstract-- Different models for computing the spatial relations have been developed in the last decade. Separate methods are used for computing topological, directional and distanc...
150
click to vote
CVPR
2011
IEEE
15 years 4 hour ago
2011
IEEE
The co-occurrence pattern, a combination of binary or local features, is more discriminative than individual features and has shown its advantages in object, scene, and action rec...