9305 search results - page 76 / 1861 » Modeling Blog Dynamics |
ATVA
2008
Springer
14 years 2 days ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
in Proceedings of the 2000 IEEE International Conference on Robotics and Automation, San Francisco, April 2000 The augmented object model provided the basis for effective coopera...
ESANN
2003
13 years 11 months ago
2003
The paper presents a method for times series prediction using a local dynamic modeling based on a three step process. In the first step the input data is embedded in a reconstruct...
IJCAI
2003
13 years 11 months ago
2003
This paper proposes a dynamic model supporting multimodal state space probability distributions and presents the application of the model in dealing with visual occlusions when tr...
KES
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this work we present Evolution Strategies (ES) as an efficient optimization method for dynamic modelling of the main interact