12194 search results - page 402 / 2439 » cans 2010 |
153
click to vote
AAAI
2010
15 years 8 months ago
2010
As a robot formation increases in size or explores places where it is difficult for a human operator to interact, autonomous control becomes critical. We propose a distributed aut...
162
click to vote
AAAI
2010
15 years 8 months ago
2010
In this paper, we study the knowledge compilation task for propositional epistemic logic S5. We first extend many of the queries and transformations considered in the classical kn...
162
Voted
ECIR
2010
Springer
15 years 8 months ago
2010
Springer
In a multi-language Information Retrieval setting, the knowledge about the language of a user query is important for further processing. Hence, we compare the performance of some t...
187
click to vote
NSDI
2010
15 years 8 months ago
2010
We address the problem of collecting unique items in a large stream of information in the context of Intrusion Prevention Systems (IPSs). IPSs detect attacks at gigabit speeds and...
179
Voted
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...