1722 search results - page 157 / 345 » Generating Tests from Counterexamples |
ERCIMDL
2007
Springer
14 years 4 months ago
2007
Springer
We propose and evaluate a query expansion mechanism that supports searching and browsing in collections of annotated documents. Based on generative language models, our feedback me...
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
Cyclic genetic algorithms can be used to generate single loop control programs for robots. While successful in generating controllers for individual leg movement, gait generation,...
JSW
2007
13 years 10 months ago
2007
Abstract— Monolingual text-to-text generation is an emerging research area in Natural Language Processing. One reason for the interest in such generation systems is the possibili...
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper presents a seed-based algorithm for intensive DNA sequence comparison. The novelty comes from the way seeds are used to efficiently generate small ungapped alignments ...
AIED
2007
Springer
14 years 4 months ago
2007
Springer
Students’ actions while working with a tuoring system were used to generate estimates of learning goals, specifically, the goal of learning by using multimedia help resources, an...