75
Voted
SAC
2015
ACM
9 years 11 months ago
2015
ACM
74
Voted
SAC
2015
ACM
9 years 11 months ago
2015
ACM
Abstract Bayesian inference often poses difficult computational problems. Even when off-the-shelf Markov chain Monte Carlo (MCMC) methods are available to the problem at hand, mix...
65
Voted
SAC
2015
ACM
9 years 11 months ago
2015
ACM
78
Voted
SAC
2015
ACM
9 years 11 months ago
2015
ACM
82
Voted
SAC
2015
ACM
2015
ACM
TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink
9 years 11 months ago
Model-based development of CPS is based on the capability of early verification of system properties on a model of the controls and the controlled physical system, and the capabi...