1271 search results - page 212 / 255 » On Simulation-Checking with Sequential Systems |
118
Voted
MVA
1994
15 years 4 months ago
1994
Modeling of 3-D Joint Set Interpretation In order to estimate rock joint parameters, such as strikes and dips which geologists often inspect on site andlor calculate through 3Djoin...
143
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Decentralized POMDPs provide an expressive framework for sequential multi-agent decision making. Despite their high complexity, there has been significant progress in scaling up e...
130
Voted
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
114
Voted
CLEF
2009
Springer
15 years 3 months ago
2009
Springer
In biological sequence processing, Multiple Sequence Alignment (MSA) techniques capture information about long-distance dependencies and the three-dimensional structure of protein ...
114
Voted
AI
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we address the problem of agents engaged in a distributed costly two-sided search for pairwise partnerships in Multi-Agent Systems (MAS). While traditional two-sided...