The framework of Temporal constraint Satisfaction Problems (TCSP) has been proposed for representing and processing temporal knowledge. Deciding consistency of TCSPs is known to be intractable. As dem...
The paper describes a class of approximation algorithms that apply the idea of local inference, known as i-consistency in constraint networks, to combinatorial optimization and to probabilistic reason...
The paper presents an algorithm called directional resolution, a variation on the original Davis-Putnam algorithm, and analyzes its worst-case behavior as a function of the topological structure of pr...
This paper summarizes the author's paper (presented in KR-94 and titled "Directional Resolution: The Davis-Putnam Procedure, Revisited" [Dechter and Rish, 1994]), focusing on its empirical aspects. It...
This paper presents a class of approximate inference algorithms, based on bucket elimination [13], that trade accuracy for efficiency in cases when computational resources are bounded. Our approach ap...
We describe a family of caching protocols for distributed networks that can be used to decrease or eliminate the occurrence of hot spots in the network. Hot spots are web sites that swamped by a large...
We describe a family of caching protocols for distributed networks that can be used to decrease or eliminate the occurrence of hot spots in the network. Hot spots are web sites that swamped by a large...
We describe a family of caching protocols for distributed networks that can be used to decrease or eliminate the occurrence of hot spots in the network. Hot spots are web sites that swamped by a large...