Sciweavers

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