8828 search results - page 1419 / 1766 » Formal methods in practice |
180
click to vote
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Object detection remains an important but challenging task in computer vision. We present a method that combines high accuracy with high efficiency. We adopt simplified forms of...
172
Voted
ALMOB
2008
15 years 7 months ago
2008
The increasing throughput of sequencing raises growing needs for methods of sequence analysis and comparison on a genomic scale, notably, in connection with phylogenetic tree reco...
201
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Ab initio protein structure prediction methods generate numerous structural candidates, which are referred to as decoys. The decoy with the most number of neighbors of...
181
click to vote
ENGL
2008
15 years 7 months ago
2008
High performance computing is becoming increasingly important in the field of financial computing, as the complexity of financial models continues to increase. Many of these financ...
283
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Selection of relevant genes for sample classification is a common task in most gene expression studies, where researchers try to identify the smallest possible set of ...