9504 search results - page 101 / 1901 » Dynamic Substitution Model |
80
Voted
AAAI
2006
14 years 11 months ago
2006
The Predictive Linear Gaussian model (or PLG) improves upon traditional linear dynamical system models by using a predictive representation of state, which makes consistent parame...
100
Voted
ADC
2000
Springer
15 years 2 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...
99
Voted
ATVA
2008
Springer
15 years 1 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...
108
click to vote
ICRA
2000
IEEE
15 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...
98
Voted
ESANN
2003
14 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...