2312 search results - page 255 / 463 » Invariance in Property Testing |
131
click to vote
PSIVT
2007
Springer
15 years 10 months ago
2007
Springer
It is often practical to measure how linear a certain ordered set of points is. We are interested in linearity measures which are invariant to rotation, scaling, and translation. T...
156
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
152
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
135
click to vote
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
121
click to vote
CPHYSICS
2008
15 years 4 months ago
2008
We present a Fortran program to compute the distribution of dipole moments of free particles for use in analyzing molecular beams experiments that measure moments by deflection in...