1722 search results - page 186 / 345 » Generating Tests from Counterexamples |
114
Voted
ECIS
2000
15 years 2 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...
147
click to vote
AMAI
2008
Springer
15 years 26 days 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...
140
click to vote
AEI
1999
15 years 13 days 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...
90
Voted
TCAD
1998
15 years 12 days 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...
112
Voted
VL
2010
IEEE
14 years 11 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...