2588 search results - page 351 / 518 » Applications of Kolmogorov complexity to computable model th... |
120
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
103
click to vote
SIGIR
2005
ACM
15 years 7 months ago
2005
ACM
Different from traditional information retrieval, both content and structure are critical to the success of Web information retrieval. In recent years, many relevance propagation ...
115
click to vote
SPAA
2003
ACM
15 years 7 months ago
2003
ACM
In this paper we consider the problem of routing packets to a single destination in a dynamically changing network, where both the network and the packet injections are under adve...
121
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We consider a multiagent resource allocation domain where the marginal production of each resource is diminishing. A set of identical, self-interested agents requires access to sh...
126
click to vote
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
Random projection (RP) is a common technique for dimensionality reduction under L2 norm for which many significant space embedding results have been demonstrated. However, many si...