439 search results - page 43 / 88 » Type invariants for Haskell |
CIVR
2006
Springer
13 years 11 months ago
2006
Springer
The use of local features in computer vision has shown to be promising. Local features have several advantages including invariance to image transformations, independence of the ba...
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
BMVC
1998
13 years 9 months ago
1998
Snakes provide high-level information in the form of continuity constraints and minimum energy constraints related to the contour shape and image features. These image features ar...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
We present an approach for illumination and affineinvariant point matching using ordinal features. Ordinal measures for matching only consider the order between pixels and not the...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we design linear time algorithms to recognize and determine topological invariants such as genus and homology groups in 3D. These invariants can be used to identify...