1914 search results - page 246 / 383 » Verification by Abstract Interpretation |
123
Voted
IDA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a Bayesian treatment of non-negative matrix factorization (NMF), based on a normal likelihood and exponential priors, and derive an efficient Gibbs sampler to ...
92
Voted
IDA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The label switching problem, the unidentifiability of the permutation of clusters or more generally latent variables, makes interpretation of results computed with MCMC ...
101
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
84
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— A novel nonparametric paradigm to model identification has been recently proposed where, in place of postulating finite-dimensional models of the system transfer func...
92
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— The Chen-Fliess series is known to be an exponential Lie series. Previously explicit formulas for the iterated integral coefficients were known only for its factorizat...