130 search results - page 11 / 26 » Towards Probabilistic Modelling in Event-B |
115
Voted
MABS
1998
Springer
15 years 7 months ago
1998
Springer
In this paper, we present some of our ongoing experimental research towards investigating advantages of modeling other agents in multiagent environments. We attempt to quantify the...
104
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract--In the majority of studies on CSMA wireless networks, a contention graph is used to model the carrier sensing relationships among links. This is a 0-1 model in which two ...
122
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
166
Voted
IWFM
2003
15 years 4 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
150
click to vote
DEBU
2006
15 years 3 months ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...