Sciweavers

98 search results - page 12 / 20
» Swarming Behavior Using Probabilistic Roadmap Techniques
Sort
View
QEST
2008
IEEE
14 years 1 months ago
CaVi -- Simulation and Model Checking for Wireless Sensor Networks
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
Athanassios Boulis, Ansgar Fehnker, Matthias Fruth...
ICPR
2004
IEEE
14 years 8 months ago
Evaluation of Three Optical Flow-Based Observation Models for Tracking
In this paper, we study the use of optical flow as a characteristic for tracking. We analyze the behavior of three flowbased observation models for particle filter algorithms, and...
José M. Fuertes, Manuel J. Lucena, Nicolas ...
IEEEARES
2006
IEEE
14 years 1 months ago
Towards a Stochastic Model for Integrated Security and Dependability Evaluation
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
Karin Sallhammar, Bjarne E. Helvik, Svein J. Knaps...
JNW
2006
55views more  JNW 2006»
13 years 7 months ago
On Stochastic Modeling for Integrated Security and Dependability Evaluation
This paper presents a new approach to integrated security and dependability evaluation, which is based on stochastic modeling techniques. Our proposal aims to provide operational m...
Karin Sallhammar, Bjarne E. Helvik, Svein J. Knaps...
JCB
2006
185views more  JCB 2006»
13 years 7 months ago
A Probabilistic Methodology for Integrating Knowledge and Experiments on Biological Networks
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
Irit Gat-Viks, Amos Tanay, Daniela Raijman, Ron Sh...