38 search results - page 6 / 8 » Auto-generating Test Sequences Using Model Checkers: A Case ... |
DRR
2008
13 years 9 months ago
2008
We describe an approach to unsupervised high-accuracy recognition of the textual contents of an entire book using fully automatic mutual-entropy-based model adaptation. Given imag...
TSE
2010
13 years 2 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
ICIAP
2001
Springer
14 years 7 months ago
2001
Springer
In Computer Vision, two-dimensional shape classifcation is a complex and well studied topic, often basic for three-dimensional object recognition. Object contours are a widely cho...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
BMCBI
2010
13 years 7 months ago
2010
Background: The availability of various "omics" datasets creates a prospect of performing the study of genomewide genetic regulatory networks. However, one of the major ...