2976 search results - page 572 / 596 » On the bounded integer programming |
112
click to vote
ICCAD
2004
IEEE
15 years 11 months ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
129
click to vote
STACS
2009
Springer
15 years 9 months ago
2009
Springer
The edit distance problem is a classical fundamental problem in computer science in general, and in combinatorial pattern matching in particular. The standard dynamic-programming s...
125
Voted
CVPR
2007
IEEE
15 years 8 months ago
2007
IEEE
Energy-minimizing active contour models (snakes) have been proposed for solving many computer vision problems such as object segmentation, surface reconstruction, and object track...
115
click to vote
ICS
2007
Tsinghua U.
15 years 8 months ago
2007
Tsinghua U.
Sensitivity Analysis (SA) is a novel compiler technique that complements, and integrates with, static automatic parallelization analysis for the cases when relevant program behavi...
157
Voted
IMSCCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Background: As more and more genomes are sequenced, comparative genomics approaches provide a methodology for identifying conserved regulatory elements that may be involved in gen...