4934 search results - page 171 / 987 » complexity 2008 |
139
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Although there are many efficient algorithms for calculating the simulation preorder on finite Kripke structures, only two have been proposed of which the space complexity is of t...
128
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The goal of this paper is to show why the framework of communication complexity seems suitable for the study of cellular automata. Researchers have tackled different algorithmic p...
141
click to vote
AI
2008
Springer
15 years 4 months ago
2008
Springer
Singleton arc consistency (SAC) is a consistency property that is simple to specify and is stronger than arc consistency. Algorithms have already been proposed to enforce SAC, but...
137
click to vote
TCS
2008
15 years 4 months ago
2008
We consider various well-known, equivalent complexity measures for graphs such as elimination orderings, k-trees and cops and robber games and study their natural translations to ...
107
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
Information retrieval systems are compared using evaluation metrics, with researchers commonly reporting results for simple metrics such as precision-at-10 or reciprocal rank toge...