13376 search results - page 173 / 2676 » Problem Solving with |
130
click to vote
SMA
2003
ACM
15 years 8 months ago
2003
ACM
This paper has two parts. First, we propose a method which can be used to decompose a geometric constraint graph into a c-tree. With this decomposition, solving for a well-constrai...
132
click to vote
IEEEVAST
2010
14 years 10 months ago
2010
Interaction and manual manipulation have been shown in the cognitive science literature to play a critical role in problem solving. Given different types of interactions or constr...
114
click to vote
AAAI
1996
15 years 4 months ago
1996
The fesractioncslly-Qcczdrrcate, cooperative (FA/C) distributed problem-solving paradigm is one approach for organizing distributed problem solving among homogeneous, cooperating ...
111
click to vote
AI
2006
Springer
15 years 3 months ago
2006
Springer
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from thi...
129
click to vote
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...