21319 search results - page 294 / 4264 » An Approach for Method Reengineering |
198
click to vote
CVPR
2009
IEEE
16 years 3 months ago
2009
IEEE
Many vision problems have been formulated as en- ergy minimization problems and there have been signif- icant advances in energy minimization algorithms. The most widely-used energ...
144
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
The protein folding problem consists of predicting the functional (native) structure of the protein given its linear sequence of amino acids. Despite extensive progress made in un...
148
click to vote
SIGIR
2005
ACM
15 years 10 months ago
2005
ACM
The TREC .GOV collection makes a valuable web testbed for distributed information retrieval methods because it is naturally partitioned and includes 725 web-oriented queries with ...
133
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
148
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Protein-protein interactions play a critical role in protein function. Completion of many genomes is being followed rapidly by major efforts to identify interacting pr...