439 search results - page 57 / 88 » Type invariants for Haskell |
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
This paper describes a novel multi-view matching framework based on a new type of invariant feature. Our features are located at Harris corners in discrete scale-space and oriente...
CDC
2009
IEEE
14 years 11 days ago
2009
IEEE
— We extend techniques for a reachability-based ion to continuous systems under shared control, that is, systems which have both inputs controlled by the automation and inputs co...
APSEC
1999
IEEE
13 years 12 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
In this paper, we propose a fingerprint analysis algorithm based on using product manifolds to create robust signatures for individual targets in motion imagery. The purpose of ta...
IJCV
1998
13 years 7 months ago
1998
A major problem in object recognition is that a novel image of a given object can be different from all previously seen images. Images can vary considerably due to changes in viewi...