1615 search results - page 126 / 323 » Distributed Forward Checking |
120
click to vote
EUC
2004
Springer
15 years 6 months ago
2004
Springer
Servicing mobile hosts over the Internet has some problems including nodes' location, independent addressing, address conversion and packet forwarding as well as mobile host&#...
117
click to vote
CSCLP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this paper we present a novel approach to solving Constraint Satisfaction Problems whose constraint graphs are highly clustered and the graph of clusters is close to b...
118
click to vote
CP
1995
Springer
15 years 5 months ago
1995
Springer
We present a new heuristic approach for maximal constraint satisfaction of overconstrained problems (MAX-CSP). This approach is based on a formulation of CSP as an optimization pro...
108
click to vote
IJCAI
1997
15 years 3 months ago
1997
Practical applications of description logics (DLs) in knowledge-based systems have forced us to introduce the following features which are absent from existing DLs: • allowing a...
134
Voted
AAAI
1996
15 years 3 months ago
1996
Two methods are described for enhancing performance of branch and bound methods for overconstrained CSPS. These methods improve either the upper or lower bound, respectively, duri...