Sciweavers

1524 search results - page 170 / 305
» Game Relations and Metrics
Sort
View
ACG
2006
Springer
16 years 16 days ago
Recognizing Seki in Computer Go
Seki is a situation of coexistence in the game of Go, where neither player can profitably capture the opponent’s stones. This paper presents a new method for deciding whether an...
Xiaozhen Niu, Akihiro Kishimoto, Martin Mülle...
UIST
2006
ACM
16 years 15 days ago
Soap: a pointing device that works in mid-air
Soap is a pointing device based on hardware found in a mouse, yet works in mid-air. Soap consists of an optical sensor device moving freely inside a hull made of fabric. As the us...
Patrick Baudisch, Mike Sinclair, Andrew Wilson
CAV
2003
Springer
160views Hardware» more  CAV 2003»
15 years 11 months ago
Fast Mu-Calculus Model Checking when Tree-Width Is Bounded
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
Jan Obdrzálek
ECAL
2003
Springer
15 years 11 months ago
Caring versus Sharing: How to Maintain Engagement and Diversity in Coevolving Populations
Coevolutionary optimisation suffers from a series of problems that interfere with the progressive escalating arms races that are hoped might solve difficult classes of optimisatio...
John Cartlidge, Seth Bullock
ICALP
2010
Springer
15 years 11 months ago
SDP Gaps for 2-to-1 and Other Label-Cover Variants
In this paper we present semidefinite programming (SDP) gap instances for the following variants of the Label-Cover problem, closely related to the Unique Games Conjecture: (i) 2-...
Venkatesan Guruswami, Subhash Khot, Ryan O'Donnell...