Sciweavers

882 search results - page 53 / 177
» Dynamic simulation for time series modeling
Sort
View
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
14 years 2 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
NN
1997
Springer
174views Neural Networks» more  NN 1997»
14 years 26 days ago
Learning Dynamic Bayesian Networks
Bayesian networks are directed acyclic graphs that represent dependencies between variables in a probabilistic model. Many time series models, including the hidden Markov models (H...
Zoubin Ghahramani
WSC
2000
13 years 10 months ago
Automated material handling system traffic control by means of node balancing
This paper presents a logistic algorithm that improves traffic conditions in a network-like automated material handling system (AMHS). The algorithm uses a lookahead procedure and...
Namdar Bahri, Robert J. Gaskins
JVCA
2007
125views more  JVCA 2007»
13 years 8 months ago
Crowd motion capture
In this paper a new and original technique to animate a crowd of human beings is presented. Following the success of data-driven animation models (such as motion capture) in the c...
Nicolas Courty, Thomas Corpetti
CEC
2009
IEEE
14 years 3 months ago
Coevolution of simulator proxies and sampling strategies for petroleum reservoir modeling
— Reservoir modeling is an on-going activity during the production life of a reservoir. One challenge to constructing accurate reservoir models is the time required to carry out ...
Tina Yu, Dave Wilkinson