Sciweavers

614 search results - page 123 / 123
» Computational Complexity of Multi-way, Dataflow Constraint P...
Sort
View
IICAI
2007
13 years 9 months ago
Logics for Action
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
Michael P. Fourman
IJCAI
1997
13 years 9 months ago
Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning
The class of algorithms for approximating reasoning tasks presented in this paper is based on approximating the general bucket elimination framework. The algorithms have adjustabl...
Rina Dechter
JAIR
2006
134views more  JAIR 2006»
13 years 7 months ago
Multi-Issue Negotiation with Deadlines
This paper studies bilateral multi-issue negotiation between self-interested autonomous agents. Now, there are a number of different procedures that can be used for this process; ...
S. Shaheen Fatima, Michael Wooldridge, Nicholas R....
SIGPRO
2002
160views more  SIGPRO 2002»
13 years 7 months ago
New multiscale transforms, minimum total variation synthesis: applications to edge-preserving image reconstruction
This paper describes newly invented multiscale transforms known under the name of the ridgelet [6] and the curvelet transforms [9, 8]. These systems combine ideas of multiscale an...
Emmanuel J. Candès, Franck Guo