9572 search results - page 1821 / 1915 » Cover Algorithms and Their Combination |
110
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
111
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
117
click to vote
CIKM
2007
Springer
15 years 7 months ago
2007
Springer
Web search engines consistently collect information about users interaction with the system: they record the query they issued, the URL of presented and selected documents along w...
100
Voted
CIKM
2007
Springer
15 years 7 months ago
2007
Springer
Dictionary-based approaches to query translation have been widely used in Cross-Language Information Retrieval (CLIR) experiments. Using these approaches, translation has been not...
104
click to vote
CIKM
2007
Springer
15 years 7 months ago
2007
Springer
Newsgroup participants interact with their communities through conversation threads. They may respond to a message to answer a question, debate a topic, support or disagree with a...