Sciweavers

1382 search results - page 7 / 277
» Formal Analysis of Online Algorithms
Sort
View
WABI
2007
Springer
102views Bioinformatics» more  WABI 2007»
15 years 5 months ago
On-Line Viterbi Algorithm for Analysis of Long Biological Sequences
Rastislav Srámek, Brona Brejová, Tom...
DAGSTUHL
2006
15 years 1 months ago
Adaptive Analysis of On-line Algorithms
Reza Dorrigiv, Alejandro López-Ortiz
JCST
2010
189views more  JCST 2010»
14 years 6 months ago
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
Osman Hasan, Sofiène Tahar