185 search results - page 15 / 37 » Invariants, Modularity, and Rights |
ECCV
2010
Springer
13 years 8 months ago
2010
Springer
Image invariants are those properties of the images of an object that remain unchanged with change in camera parameters, illumination etc. In this paper, we derive an image invari...
PRL
2007
13 years 7 months ago
2007
We introduce a new method for the recognition of partially occluded objects represented only by their contours. Object description, which stems from the inflection point detectio...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
CHARME
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
ECOOP
2004
Springer
14 years 1 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...