258 search results - page 25 / 52 » A High-Level Language for Modeling Algorithms and Their Prop... |
CLIMA
2010
13 years 10 months ago
2010
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...
QEST
2006
IEEE
14 years 2 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
CLA
2007
13 years 10 months ago
2007
The generalization of policies in reinforcement learning is a main issue, both from the theoretical model point of view and for their applicability. However, generalizing from a se...
DLOG
2007
13 years 10 months ago
2007
Enabling the Semantic Web requires solving the semantic heterogeneity problem, for which ontology matching methods have been proposed. These methods rely on similarity measures tha...
ICMT
2011
Springer
12 years 12 months ago
2011
Springer
ATL is a language for describing model transformations currently in uni-direction. In our previous work we have shown that transformations of graph structures given in some form ca...