Sciweavers

12459 search results - page 268 / 2492
» cans 2006
Sort
View
JAIR
2006
131views more  JAIR 2006»
15 years 6 months ago
Asynchronous Partial Overlay: A New Algorithm for Solving Distributed Constraint Satisfaction Problems
Distributed Constraint Satisfaction (DCSP) has long been considered an important problem in multi-agent systems research. This is because many real-world problems can be represent...
Roger Mailler, Victor R. Lesser
JAIR
2006
106views more  JAIR 2006»
15 years 6 months ago
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
JAIR
2006
108views more  JAIR 2006»
15 years 6 months ago
Preference-based Search using Example-Critiquing with Suggestions
We consider interactive tools that help users search for their most preferred item in a large collection of options. In particular, we examine example-critiquing, a technique for ...
Paolo Viappiani, Boi Faltings, Pearl Pu
JAL
2006
86views more  JAL 2006»
15 years 6 months ago
An algorithmic sign-reversing involution for special rim-hook tableaux
Egecioglu and Remmel [2] gave an interpretation for the entries of the inverse Kostka matrix K-1 in terms of special rim-hook tableaux. They were able to use this interpretation to...
Bruce E. Sagan, Jaejin Lee
JAL
2006
89views more  JAL 2006»
15 years 6 months ago
Improved bounds for the unsplittable flow problem
In this paper we consider the unsplittable flow problem (UFP): given a directed or undirected network G = (V, E) with edge capacities and a set of terminal pairs (or requests) wit...
Petr Kolman, Christian Scheideler