7253 search results - page 297 / 1451 » Agile Performance Testing |
162
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
158
click to vote
EC
2000
15 years 6 months ago
2000
Building blocks are a ubiquitous feature at all levels of human understanding, from perception through science and innovation. Genetic algorithms are designed to exploit this prev...
203
Voted
JISE
2000
15 years 6 months ago
2000
We present an algorithm for identifyinga set of faults that do not have to be targeted by a sequential delay fault test generator. These faults either cannot independently aect th...
185
click to vote
EMNLP
2010
15 years 4 months ago
2010
We introduce a novel training algorithm for unsupervised grammar induction, called Zoomed Learning. Given a training set T and a test set S, the goal of our algorithm is to identi...
248
click to vote
FLAIRS
2009
15 years 4 months ago
2009
Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which queries can be answered ef...