Sciweavers

980 search results - page 59 / 196
» Decentralized Constraint Satisfaction
Sort
View
ATAL
2007
Springer
14 years 2 months ago
On opportunistic techniques for solving decentralized Markov decision processes with temporal constraints
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
Janusz Marecki, Milind Tambe
CORR
2010
Springer
98views Education» more  CORR 2010»
13 years 4 months ago
Satisfaction Equilibrium: A General Framework for QoS Provisioning in Self-Configuring Networks
Abstract--This paper is concerned with the concept of equilibrium and quality of service (QoS) provisioning in self-configuring wireless networks with non-cooperative radio devices...
Samir Medina Perlaza, Hamidou Tembine, Samson Lasa...
INFORMS
2010
110views more  INFORMS 2010»
13 years 5 months ago
Incremental Satisfiability and Implication for UTVPI Constraints
use for constraint solving, abstract interpretation, spatial databases, and theorem proving. In this paper we develop new incremental algorithms for UTVPI constraint satisfaction a...
Andreas Schutt, Peter J. Stuckey
CONEXT
2009
ACM
13 years 9 months ago
ThunderDome: discovering upload constraints using decentralized bandwidth tournaments
ThunderDome is a system for collaboratively measuring upload bandwidths in ad-hoc peer-to-peer systems. It works by scheduling bandwidth probes between pairs of hosts, wherein eac...
John R. Douceur, James W. Mickens, Thomas Moscibro...