Sciweavers

1382 search results - page 7 / 277
» Formal Analysis of Online Algorithms
Sort
View
117
Voted
ESA
2008
Springer
75views Algorithms» more  ESA 2008»
15 years 7 months ago
Probabilistic Analysis of Online Bin Coloring Algorithms Via Stochastic Comparison
Benjamin Hiller, Tjark Vredeveld
128
Voted
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 7 months ago
Adaptive Analysis of On-line Algorithms
Reza Dorrigiv, Alejandro López-Ortiz
JCST
2010
189views more  JCST 2010»
15 years 12 days 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