Sciweavers

270 search results - page 21 / 54
» Estimation of non-stationary Markov Chain transition models
Sort
View
CP
2010
Springer
14 years 10 months ago
Computing the Density of States of Boolean Formulas
Abstract. In this paper we consider the problem of computing the density of states of a Boolean formula in CNF, a generalization of both MAX-SAT and model counting. Given a Boolean...
Stefano Ermon, Carla P. Gomes, Bart Selman
ISLPED
1997
ACM
104views Hardware» more  ISLPED 1997»
15 years 3 months ago
Composite sequence compaction for finite-state machines using block entropy and high-order Markov models
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). B...
Radu Marculescu, Diana Marculescu, Massoud Pedram
SAC
2008
ACM
14 years 11 months ago
Computational methods for complex stochastic systems: a review of some alternatives to MCMC
We consider analysis of complex stochastic models based upon partial information. MCMC and reversible jump MCMC are often the methods of choice for such problems, but in some situ...
Paul Fearnhead
CSDA
2008
91views more  CSDA 2008»
14 years 12 months ago
Model-based clustering for longitudinal data
A model-based clustering method is proposed for clustering individuals on the basis of measurements taken over time. Data variability is taken into account through non-linear hier...
Rolando De la Cruz-Mesía, Fernando A. Quint...
HPCA
2009
IEEE
16 years 11 days ago
A first-order fine-grained multithreaded throughput model
Analytical modeling is an alternative to detailed performance simulation with the potential to shorten the development cycle and provide additional insights. This paper proposes a...
Xi E. Chen, Tor M. Aamodt