Sciweavers

800 search results - page 114 / 160
» On the Complexity of Parity Games
Sort
View
QOFIS
2004
Springer
14 years 2 months ago
Multi-bid Versus Progressive Second Price Auctions in a Stochastic Environment
Pricing is considered a relevant way to control congestion and differentiate services in communication networks. Among all pricing schemes, auctioning for bandwidth has received a...
Patrick Maillé, Bruno Tuffin
HICSS
2000
IEEE
112views Biometrics» more  HICSS 2000»
14 years 1 months ago
Trust is Much More Than Subjective Probability: Mental Components and Sources of Trust
In this paper we claim the importance of a cognitive view of trust (its articulate, analytic and founded view), in contrast with a mere quantitative and opaque view of trust suppo...
Cristiano Castelfranchi, Rino Falcone
LICS
2000
IEEE
14 years 1 months ago
The Role of Decidability in First Order Separations over Classes of Finite Structures
We establish that the decidability of the first order theory of a class of finite structures ¢ is a simple and useful condition for guaranteeing that the expressive power of FO...
Steven Lindell, Scott Weinstein
ECAI
1998
Springer
14 years 1 months ago
Metaprogramming Forced Moves
Knowledge about forced moves enables to select a small number of moves from the set of possible moves. It is very important in complex domains where search trees have a large branc...
Tristan Cazenave
FCT
2007
Springer
14 years 29 days ago
Product Rules in Semidefinite Programming
Abstract. In recent years we have witnessed the proliferation of semidefinite programming bounds in combinatorial optimization [1,5,8], quantum computing [9,2,3,6,4,16] and even in...
Rajat Mittal, Mario Szegedy