2312 search results - page 9 / 463 » Invariance in Property Testing |
ICRA
1998
IEEE
14 years 25 days ago
1998
IEEE
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Persistent Topology studies topological features of shapes by analyzing the lower level sets of suitable functions, called filtering functions, and encoding the arising i...
MKTSCI
2008
13 years 8 months ago
2008
FMCAD
2007
Springer
14 years 2 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
ICIP
2007
IEEE
14 years 10 months ago
2007
IEEE
Photometric invariance is a desired property for color image descriptors. It ensures that the description has a certain robustness with respect to scene incidental variations such...