612 search results - page 88 / 123 » Using Static Analysis to Improve Automatic Test Generation |
161
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: With the advent of metabolomics as a powerful tool for both functional and biomarker discovery, the identification of specific differences between complex metabolite p...
175
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
Compiler technology is becoming a key component in the design of embedded systems, mostly due to increasing participation of software in the design process. Meeting system-level ob...
197
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
215
click to vote
LBM
2007
15 years 7 months ago
2007
Background: Extracting Protein-Protein Interactions (PPI) from research papers is a way of translating information from English to the language used by the databases that store th...
211
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
We present a probabilistic ranking-driven classifier for the detection of video semantic concept, such as airplane, building, etc. Most existing concept detection systems utilize ...