Sciweavers

1480 search results - page 73 / 296
» Ants can solve constraint satisfaction problems
Sort
View
STACS
2010
Springer
15 years 2 months ago
A Dichotomy Theorem for the General Minimum Cost Homomorphism Problem
Abstract. In the constraint satisfaction problem (CSP), the aim is to find an assignment of values to a set of variables subject to specified constraints. In the minimum cost hom...
Rustem Takhanov
CP
2008
Springer
14 years 11 months ago
Connecting ABT with Arc Consistency
ABT is the reference algorithm for asynchronous distributed constraint satisfaction. When searching, ABT produces nogoods as justifications of deleted values. When one of such nogo...
Ismel Brito, Pedro Meseguer
CP
2007
Springer
15 years 3 months ago
On Universal Restart Strategies for Backtracking Search
Abstract. Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that a technique called randomi...
Huayue Wu, Peter van Beek
IV
2002
IEEE
124views Visualization» more  IV 2002»
15 years 2 months ago
Numerical Solving of Geometric Constraints
: In computer-aided design, geometric modeling by constraints enables users to describe shapes by relationships called constraints between geometric elements. The problem is to der...
Samy Ait-Aoudia
NORDICHI
2004
ACM
15 years 3 months ago
Wolves, football, and ambient computing: facilitating collaboration in problem solving systems through the study of human and an
This paper describes how computer-human interaction in ambient computing environments can be best informed by conceptualizing of such environments as problem solving systems. Typi...
David W. Eccles, Paul T. Groth