2312 search results - page 164 / 463 » Invariance in Property Testing |
122
click to vote
ISSRE
2007
IEEE
15 years 6 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
129
click to vote
KDD
2002
ACM
16 years 4 months ago
2002
ACM
This paper promotes the use of supervised machine learning in laboratory settings where chemists have a large number of samples to test for some property, and are interested in id...
149
click to vote
CIE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present transformations of linearly ordered sets into ordered abelian groups and ordered fields. We study effective properties of the transformations. In particular, w...
128
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
It has been shown that the delay of a target path can be composed linearly of other path delays. If the later paths are robustly testable (with known delay values), the target pat...
107
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
A set of synchronization relations between distributed nonatomic events was recently proposed to provide real-time applications with a fine level of discrimination in the specifica...