218 search results - page 23 / 44 » Subexponential Algorithms for Unique Games and Related Probl... |
ICST
2009
IEEE
13 years 8 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
TEI
2010
ACM
14 years 5 months ago
2010
ACM
In this paper, we describe a new method for camera-based fiducial tracking. Our new method is based on the combination of topological region adjacency and angle information, where...
STOC
2012
ACM
12 years 1 months ago
2012
ACM
The Chow parameters of a Boolean function f : {−1, 1}n → {−1, 1} are its n + 1 degree-0 and degree-1 Fourier coefficients. It has been known since 1961 [Cho61, Tan61] that ...
WCNC
2010
IEEE
2010
IEEE
Hedonic Coalition Formation Games for Secondary Base Station Cooperation in Cognitive Radio Networks
14 years 2 months ago
— In order to maintain a conflict-free environment among licensed primary users (PUs) and unlicensed secondary users (SUs) in cognitive radio networks, providing frequency and g...
EOR
2011
13 years 5 months ago
2011
Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple game...