4270 search results - page 123 / 854 » A Permutation Approach to Validation |
120
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
138
click to vote
ISAAC
1992
Springer
15 years 8 months ago
1992
Springer
A (0,1)-matrix satisfies the consecutive ones property if there exists a column permutation such that the ones in each row of the resulting matrix are consecutive. Booth and Lueke...
133
click to vote
ICS
2000
Tsinghua U.
15 years 8 months ago
2000
Tsinghua U.
We present an approach for synthesizing transformations to enhance locality in imperfectly-nested loops. The key idea is to embed the iteration space of every statement in a loop ...
142
click to vote
CAD
2008
Springer
15 years 4 months ago
2008
Springer
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
150
Voted
IJON
2008
15 years 4 months ago
2008
Convolutive mixtures of images are common in photography of semi-reflections. They also occur in microscopy and tomography. Their formation process involves focusing on an object ...