Sciweavers

1738 search results - page 256 / 348
» Local Consistency and SAT-Solvers
Sort
View
FLAIRS
2008
14 years 14 hour ago
Conditional and Composite Constraints with Preferences
Preferences in constraint problems are common but significant in many real world applications. In this paper, we extend our conditional and composite CSP (CCCSP) framework, managi...
Malek Mouhoub, Amrudee Sukpan
ATAL
2008
Springer
13 years 11 months ago
Max-sum decentralised coordination for sensor systems
A key challenge for the successful deployment of systems consisting of multiple autonomous networked sensors is the development of decentralised mechanisms to coordinate the activ...
W. T. Luke Teacy, Alessandro Farinelli, N. J. Grab...
CPAIOR
2006
Springer
13 years 11 months ago
Conflict-Directed A* Search for Soft Constraints
As many real-world problems involve user preferences, costs, or probabilities, constraint satisfaction has been extended to optimization by generalizing hard constraints to soft co...
Martin Sachenbacher, Brian C. Williams
SAC
2010
ACM
13 years 11 months ago
A heterogeneous approach to service-oriented systems specification
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
Alexander Knapp, Grzegorz Marczynski, Martin Wirsi...
DAS
2008
Springer
13 years 11 months ago
Accuracy Improvement and Objective Evaluation of Annotation Extraction from Printed Documents
There is an approach of annotation extraction from printed documents in which annotations are extracted by comparing the image of an annotated document and its original document i...
Tomohiro Nakai, Kazumasa Iwata, Koichi Kise