Sciweavers

4949 search results - page 200 / 990
» Consistency and Set Intersection
Sort
View
143
Voted
JGT
2008
105views more  JGT 2008»
15 years 5 months ago
The bond and cycle spaces of an infinite graph
Bonnington and Richter defined the cycle space of an infinite graph to consist of the sets of edges of subgraphs having even degree at every vertex. Diestel and K
Karel Casteels, R. Bruce Richter
133
Voted
ICTAI
2009
IEEE
15 years 11 months ago
Collaborative Concept Learning: Non Individualistic vs Individualistic Agents
This article addresses collaborative learning in a multiagent system: each agent revises incrementally its beliefs B (a concept representation) to keep it consistent with the whol...
Gauvain Bourgne, Dominique Bouthinon, Amal El Fall...
AAAI
2006
15 years 6 months ago
A Quadratic Propagator for the Inter-Distance Constraint
We present a new propagator achieving bound consistency for the INTER-DISTANCE constraint. This constraint ensures that, among a set of variables X1, . . . , Xn, the difference be...
Claude-Guy Quimper, Alejandro López-Ortiz, ...
136
Voted
IJCAI
1997
15 years 6 months ago
Equational Reasoning using AC Constraints
Unfailing completion is a commonly used technique for equational reasoning. For equational problems with associative and commutative functions, unfailing completion often generate...
David A. Plaisted, Yunshan Zhu
ENTCS
2002
78views more  ENTCS 2002»
15 years 4 months ago
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction
Solvers on finite domains use local consistency notions to remove values from the domains. This paper defines value withdrawal explanations. Domain reduction is formalized with ch...
Gérard Ferrand, Willy Lesaint, Alexandre Te...