2410 search results - page 96 / 482 » Multiset Ordering Constraints |
197
click to vote
SPATIALCOGNITION
2000
Springer
15 years 8 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
164
click to vote
ATAL
2011
Springer
14 years 5 months ago
2011
Springer
Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...
139
Voted
AMAI
2004
Springer
15 years 10 months ago
2004
Springer
The majority of the work in the area of Markov decision processes has focused on expected values of rewards in the objective function and expected costs in the constraints. Althou...
151
click to vote
RTAS
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we propose a dynamic constraint transformation technique for ensuring timing requirements in a distributed real-time system possessing periodically synchronized dist...
146
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically...