4117 search results - page 703 / 824 » On the Satisfiability of Complex Constraints |
170
click to vote
WETICE
2007
IEEE
16 years 14 days ago
2007
IEEE
Designing a collaborative architecture for real-time applications is an intricate challenge that usually involves dealing with the real-time constraints, resource limitations and ...
170
click to vote
ACCV
2007
Springer
16 years 12 days ago
2007
Springer
In this paper, we take a predefined geometry shape as a constraint for accurate shape alignment. A shape model is divided in two parts: fixed shape and active shape. The fixed shap...
159
click to vote
ATAL
2007
Springer
16 years 12 days ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
165
click to vote
CDVE
2007
Springer
16 years 11 days ago
2007
Springer
The team of engineers designing and implementing distributed control system software must communicate within a multidisciplinary environment. One of the main problems is the intera...
169
click to vote
CP
2007
Springer
16 years 11 days ago
2007
Springer
Dual Consistency (DC) is a property of Constraint Networks (CNs) which is equivalent, in its unrestricted form, to Path Consistency (PC). The principle is to perform successive sin...