1140 search results - page 39 / 228 » Progress on Certifying Algorithms |
121
Voted
IPL
2002
15 years 6 days ago
2002
The area of approximation algorithms for the Steiner tree problem in graphs has seen continuous progress over the last years. Currently the best approximation
129
Voted
FASE
2011
Springer
14 years 4 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
CORR
2010
Springer
15 years 18 days ago
2010
Springer
We present an exact and complete algorithm to isolate the real solutions of a zero-dimensional bivariate polynomial system. The proposed algorithm constitutes an elimination metho...
221
Voted
Book
"This book evolved over the past ten years from a set of lecture notes developed while teaching the undergraduate Algorithms course at Berkeley and U.C. San Diego. Our way of ...
107
Voted
COCOA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Multiple sequence alignment (MSA) is one of the most basic and central tasks for many studies in modern biology. In this paper, we present a new progressive alignment alg...