2116 search results - page 100 / 424 » On Probabilistic Alternating Simulations |
HYBRID
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
We present a simulator to compare different approaches to organisation-centred MAS adaptation in a peer-to-peer (P2P) scenario. In particular, we describe our approach to MAS adap...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Research into optical markerless human motion capture has attracted significant attention. However, the complexity of the human anatomy, ambiguities introduced by lacking full-pe...
SENSYS
2003
ACM
15 years 3 months ago
2003
ACM
Accurate and scalable simulation has historically been a key enabling factor for systems research. We present TOSSIM, a simulator for TinyOS wireless sensor networks. By exploitin...
ICAI
2007
14 years 11 months ago
2007
Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As biomolecular...