9219 search results - page 99 / 1844 » Dynamics Modeling and Culling |
129
Voted
ADC
2000
Springer
15 years 6 months ago
2000
Springer
Workflow technology has emerged as an appropriate platform for consolidating the distributed information resources of an enterprise, promoting interoperability across cross-platfo...
125
click to vote
ATVA
2008
Springer
15 years 3 months 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...
128
click to vote
ICRA
2000
IEEE
15 years 6 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...
118
Voted
ESANN
2003
15 years 3 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...
130
click to vote
IJCAI
2003
15 years 2 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...