1890 search results - page 374 / 378 » Model-Based Testing in Practice |
101
Voted
INFSOF
2010
14 years 6 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
108
Voted
CVPR
2011
IEEE
14 years 5 months ago
2011
IEEE
Shape matching has many applications in computer vision, such as shape classification, object recognition, object detection, and localization. In 2D cases, shape instances are 2D c...
110
click to vote
BMCBI
2010
14 years 4 months ago
2010
Background: The development, in the last decade, of stochastic heuristics implemented in robust application softwares has made large phylogeny inference a key step in most compara...
BMCBI
2011
14 years 4 months ago
2011
Background: The analysis of protein structures provides fundamental insight into most biochemical functions and consequently into the cause and possible treatment of diseases. As ...
111
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: Genome-wide expression signatures are emerging as potential marker for overall survival and disease recurrence risk as evidenced by recent commercialization of gene ex...