Sciweavers

5995 search results - page 110 / 1199
» Algorithmic Game Theory
Sort
View
142
Voted
SODA
2010
ACM
175views Algorithms» more  SODA 2010»
16 years 28 days ago
Fast SDP Algorithms for Constraint Satisfaction Problems
The class of constraint satisfactions problems (CSPs) captures many fundamental combinatorial optimization problems such as Max Cut, Max q-Cut, Unique Games, and Max k-Sat. Recent...
David Steurer
107
Voted
STOC
2000
ACM
105views Algorithms» more  STOC 2000»
15 years 8 months ago
A guessing game and randomized online algorithms
Steven S. Seiden
149
Voted
AAAI
2007
15 years 5 months ago
A Logical Theory of Coordination and Joint Ability
A team of agents is jointly able to achieve a goal if despite any incomplete knowledge they may have about the world or each other, they still know enough to be able to get to a g...
Hojjat Ghaderi, Hector J. Levesque, Yves Lesp&eacu...
121
Voted
RP
2009
Springer
121views Control Systems» more  RP 2009»
15 years 10 months ago
Games with Opacity Condition
We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachab...
Bastien Maubert, Sophie Pinchinat
138
Voted
FROCOS
2007
Springer
15 years 9 months ago
Combining Algorithms for Deciding Knowledge in Security Protocols
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Mathilde Arnaud, Véronique Cortier, St&eacu...