1140 search results - page 67 / 228 » Progress on Certifying Algorithms |
91
Voted
IJAR
2006
15 years 19 days ago
2006
Although influence diagrams are powerful tools for representing and solving complex decisionmaking problems, their evaluation may require an enormous computational effort and this...
104
click to vote
CAV
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
115
click to vote
BMCBI
2004
15 years 15 days ago
2004
Background: Multiple sequence alignment algorithms are very important tools in molecular biology today. Accurate alignment of proteins is central to several areas such as homology...
232
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive. Two major a...
111
Voted
SRDS
1998
IEEE
15 years 4 months ago
1998
IEEE
In the paper, an e cient image database system is developed. The most important features of the proposed system include compressed domain indexing, searching by using scalable fea...