4211 search results - page 711 / 843 » A formal approach to MASQ |
151
click to vote
ATAL
2005
Springer
16 years 1 hour ago
2005
Springer
In this paper, we present an online method for POMDPs, called RTBSS (Real-Time Belief Space Search), which is based on a look-ahead search to find the best action to execute at e...
165
click to vote
ATAL
2005
Springer
16 years 54 min ago
2005
Springer
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the ...
142
click to vote
BPM
2005
Springer
15 years 12 months ago
2005
Springer
Scientific experiments are supported by activities that create, use, communicate and distribute information whose organizational dynamics is similar to processes performed by distr...
167
click to vote
ECMDAFA
2005
Springer
15 years 12 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
164
click to vote
EPEW
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. act choreography can be seen as a p...