Sciweavers

2487 search results - page 337 / 498
» cases 2009
Sort
View
110
Voted
SAGT
2009
Springer
113views Game Theory» more  SAGT 2009»
15 years 7 months ago
Games with Congestion-Averse Utilities
Congestion games—in which players strategically choose from a set of “resources” and derive utilities that depend on the congestion on each resource— are important in a wid...
Andrew Byde, Maria Polukarov, Nicholas R. Jennings
90
Voted
SAGT
2009
Springer
102views Game Theory» more  SAGT 2009»
15 years 7 months ago
Free-Riding and Free-Labor in Combinatorial Agency
Abstract. This paper studies a setting where a principal needs to motivate teams of agents whose efforts lead to an outcome that stochastically depends on the combination of agent...
Moshe Babaioff, Michal Feldman, Noam Nisan
SARA
2009
Springer
15 years 7 months ago
Common Subexpressions in Constraint Models of Planning Problems
Constraint Programming is an attractive approach for solving AI planning problems by modelling them as Constraint Satisfaction Problems (CSPs). However, formulating effective cons...
Andrea Rendl, Ian Miguel, Ian P. Gent, Peter Grego...
SAT
2009
Springer
82views Hardware» more  SAT 2009»
15 years 7 months ago
Generalizing Core-Guided Max-SAT
Recent work has shown the value of using unsatisfiable cores to guide maximum satisfiability algorithms (Max-SAT) running on industrial instances [5,9,10,11]. We take this concep...
Mark H. Liffiton, Karem A. Sakallah
SCALESPACE
2009
Springer
15 years 7 months ago
Nonlocal Variational Image Deblurring Models in the Presence of Gaussian or Impulse Noise
Abstract. We wish to recover an image corrupted by blur and Gaussian or impulse noise, in a variational framework. We use two data-fidelity terms depending on the noise, and sever...
Miyoun Jung, Luminita A. Vese