Sciweavers

829 search results - page 76 / 166
» A time aggregation approach to Markov decision processes
Sort
View
FMCAD
2007
Springer
15 years 10 months ago
Boosting Verification by Automatic Tuning of Decision Procedures
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan ...
ICASSP
2011
IEEE
14 years 10 months ago
A supervised approach to movie emotion tracking
In this paper, we present experiments on continuous time, continuous scale affective movie content recognition (emotion tracking). A major obstacle for emotion research has been t...
Nikos Malandrakis, Alexandros Potamianos, Georgios...
GECCO
2010
Springer
254views Optimization» more  GECCO 2010»
15 years 11 months ago
Evolutionary multi-objective optimization and decision making for selective laser sintering
This paper proposes an integrated approach to arrive at optimal build orientations, simultaneously minimizing surface roughness ‘Ra’ and build time ‘T’, for object manufac...
Nikhil Padhye, Kalyanmoy Deb
JMLR
2010
140views more  JMLR 2010»
15 years 1 months ago
Mean Field Variational Approximation for Continuous-Time Bayesian Networks
Continuous-time Bayesian networks is a natural structured representation language for multicomponent stochastic processes that evolve continuously over time. Despite the compact r...
Ido Cohn, Tal El-Hay, Nir Friedman, Raz Kupferman
DSN
2007
IEEE
16 years 16 days ago
Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models
In this paper, we present a variational Bayesian (VB) approach to computing the interval estimates for nonhomogeneous Poisson process (NHPP) software reliability models. This appr...
Hiroyuki Okamura, Michael Grottke, Tadashi Dohi, K...