1743 search results - page 183 / 349 » Generalized Modal Satisfiability |
133
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute a generic and expressive framework for multiagent planning under uncertainty. However, plannin...
118
Voted
ICWE
2009
Springer
15 years 10 months ago
2009
Springer
Nowadays more and more news sites publish news stories using news RSS feeds for easier access and subscription on the Web. Generally, news stories are grouped by several categories...
115
Voted
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
126
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—We present an interdomain routing protocol for heterogeneous networks employing different queuing service disciplines. Our routing protocol finds optimal interdomain paths with ...
126
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Ranking systems are a fundamental ingredient of multi-agent environments and Internet Technologies. These settings can be viewed as social choice settings with two distinguished p...