9626 search results - page 260 / 1926 » Invariant Based Programming |
196
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
166
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
There have been important recent advances in object recognition through the matching of invariant local image features. However, the existing approaches are based on matching to i...
173
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
Most digital data hiding schemes are sensitive to simple geometric attacks namely rotation, cropping, and scaling. Of these, rotational attacks possess the capability to not only ...
169
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Reliable indexing of documents having seal instances can be achieved by recognizing seal information. This paper presents a novel approach for detecting and classifying such multi...
297
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...