639 search results - page 19 / 128 » Dominance Constraints with Set Operators |
AOSE
2005
Springer
14 years 29 days ago
2005
Springer
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
BNCOD
1998
13 years 8 months ago
1998
Correct transformations and integrations of schemata within the process of federated database design have to encompass existing local integrity constraints. Most of the proposed me...
IFIP
2001
Springer
13 years 12 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
We address the problem of merging qualitative constraint networks (QCNs) representing agents local preferences or beliefs on the relative position of spatial or temporal entities. ...
ICTAI
2009
IEEE
13 years 5 months ago
2009
IEEE
We address the problem of merging qualitative constraints networks (QCNs). We point out a merging algorithm which computes a consistent QCN representing a global view of the input...