2312 search results - page 11 / 463 » Invariance in Property Testing |
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
In the paper we de
STACS
2005
Springer
14 years 2 months ago
2005
Springer
In property testing, we are given oracle access to a function f, and we wish to test if the function satisfies a given property P, or it is ε-far from having that property. In a...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, we developed a family of 2D and 3D invariant features with applications to 3D human faces recognition. The main contributions of this paper are: (a) systematically ...
SODA
2010
ACM
14 years 6 months ago
2010
ACM
There has been great interest in deciding whether a combinatorial structure satisfies some property, or in estimating the value of some numerical function associated with this com...