Sciweavers

2639 search results - page 340 / 528
» Biological Systems as Reactive Systems
Sort
View
AGENTS
2001
Springer
15 years 11 months ago
Automatically tracking and analyzing the behavior of live insect colonies
We introduce the study of live social insect colonies as a relevant and exciting domain for the development and application of multi-agent systems modeling tools. Social insects p...
Tucker R. Balch, Zia Khan, Manuela M. Veloso
ATAL
2006
Springer
15 years 10 months ago
Behaviosites: a novel paradigm for affecting distributed behavior
In this paper we present the Behaviosite paradigm, a new approach to affecting the behavior of distributed agents in a multiagent system, which is inspired by biological parasites ...
Amit Shabtay, Zinovi Rabinovich, Jeffrey S. Rosens...
CORR
2008
Springer
114views Education» more  CORR 2008»
15 years 6 months ago
Modeling Time in Computing: A Taxonomy and a Comparative Survey
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, M...
TROB
2008
186views more  TROB 2008»
15 years 6 months ago
Attentional Landmarks and Active Gaze Control for Visual SLAM
This paper is centered around landmark detection, tracking and matching for visual SLAM (Simultaneous Localization And Mapping) using a monocular vision system with active gaze con...
Simone Frintrop, Patric Jensfelt
FASE
2011
Springer
14 years 10 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker