1599 search results - page 168 / 320 » Algorithms for Parity Games |
166
click to vote
AAAI
2000
15 years 8 months ago
2000
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
166
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we introduce the concept of breadth-last technical elective courses, which are designed to assist undergraduate CS students in integrating their entire core curricu...
214
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Cooperative spectrum sensing has been shown to greatly improve the sensing performance in cognitive radio networks. However, if the cognitive users belong to different service p...
198
click to vote
PIMRC
2008
IEEE
16 years 29 days ago
2008
IEEE
ACT We consider a cognitive radio scenario in which two (or more) operators providing services in the same area wish to share the same licensed band of spectrum. This scenario diff...
113
click to vote
ESA
2007
Springer
16 years 23 days ago
2007
Springer
In this paper we study a game where every player is to choose a vertex (facility) in a given undirected graph. All vertices (customers) are then assigned to closest facilities and...