1353 search results - page 20 / 271 » Streamlined Constraint Reasoning |
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
KR
2004
Springer
14 years 1 months ago
2004
Springer
KI
1999
Springer
13 years 12 months ago
1999
Springer
Among the formalisms for qualitative spatial reasoning, the Region Connection Calculus and its variant, the constraint algebra RCC8, have received particular attention recently. A...
TIME
2002
IEEE
14 years 19 days ago
2002
IEEE
Local search techniques have attracted considerable interest in the Artificial Intelligence (AI) community since the development of GSAT [9] and the min-conflicts heuristic [5] ...
COORDINATION
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...