1722 search results - page 186 / 345 » Generating Tests from Counterexamples |
ECIS
2000
13 years 10 months ago
2000
- The issue of web-site quality is tackled from the perspective of the `voice of the customer'. Quality function deployment (QFD) is adopted as a framework for identifying web...
AMAI
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents and evaluates an approach to Bayesian model averaging where the models are Bayesian nets (BNs). Prior distributions are defined using stochastic logic programs...
AEI
1999
13 years 9 months ago
1999
Design synthesis represents a highly complex task in the field of industrial design. The main difficulty in automating it is the definition of the design and performance spaces, i...
TCAD
1998
13 years 9 months ago
1998
—New methods for fault-effect propagation and state justification that use finite-state-machine sequences are proposed for sequential circuit test generation. Distinguishing se...
VL
2010
IEEE
13 years 7 months ago
2010
IEEE
Many machine-learning algorithms learn rules of behavior from individual end users, such as taskoriented desktop organizers and handwriting recognizers. These rules form a generat...