1134 search results - page 15 / 227 » Composing Tests from Examples |
ILP
2001
Springer
15 years 3 months ago
2001
Springer
The Bayesian framework of learning from positive noise-free examples derived by Muggleton [12] is extended to learning functional hypotheses from positive examples containing norma...
103
Voted
AMOST
2005
ACM
15 years 4 months ago
2005
ACM
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...
110
click to vote
DAC
2005
ACM
15 years 12 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
106
Voted
AADEBUG
2005
Springer
15 years 27 days ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
87
Voted
ICCV
2005
IEEE
16 years 25 days ago
2005
IEEE
We address the problem of detecting irregularities in visual data, e.g., detecting suspicious behaviors in video sequences, or identifying salient patterns in images. The term &qu...