260 search results - page 34 / 52 » Modeling Mental States in the Analysis of Multiagent Systems... |
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper we present an observability analysis for a mobile robot performing SLAM with a single monocular camera. The aim is to get a better understanding of the well known...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
APN
2006
Springer
2006
Springer
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis
13 years 10 months ago
Abstract. We report on the results of an investigation into the integration of Petri nets and ordinary differential equations (ODEs) for the modelling and analysis of biochemical n...
ATAL
2011
Springer
12 years 8 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...