Sciweavers

1382 search results - page 7 / 277
» Formal Analysis of Online Algorithms
Sort
View
WABI
2007
Springer
102views Bioinformatics» more  WABI 2007»
15 years 11 months ago
On-Line Viterbi Algorithm for Analysis of Long Biological Sequences
Rastislav Srámek, Brona Brejová, Tom...
DAGSTUHL
2006
15 years 6 months ago
Adaptive Analysis of On-line Algorithms
Reza Dorrigiv, Alejandro López-Ortiz
JCST
2010
189views more  JCST 2010»
14 years 12 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