2814 search results - page 34 / 563 » Competitive Analysis of Distributed Algorithms |
CONCUR
2005
Springer
14 years 3 months ago
2005
Springer
ARTS
1999
Springer
14 years 2 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
ICALP
2011
Springer
13 years 1 months ago
2011
Springer
Competitive analysis is the established tool for measuring the output quality of algorithms that work in an online environment. Recently, the model of advice complexity has been in...
WWW
2010
ACM
13 years 10 months ago
2010
ACM
Many have speculated that classifying web pages can improve a search engine's ranking of results. Intuitively results should be more relevant when they match the class of a q...
IDA
2009
Springer
14 years 2 months ago
2009
Springer
Searching for interesting patterns in binary matrices plays an important role in data mining and, in particular, in formal concept analysis and related disciplines. Several algorit...