2312 search results - page 11 / 463 » Invariance in Property Testing |
101
click to vote
ICSE
2008
IEEE-ACM
16 years 22 days 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
14 years 11 months ago
2004
Springer
In the paper we de
STACS
2005
Springer
15 years 5 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
15 years 6 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
15 years 9 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...