3342 search results - page 323 / 669 » Automating Abstract Interpretation |
137
click to vote
ASWC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The increasing amount of interlinked RDF data has finally made available the necessary building blocks for the web of data. This in turns makes it possible (and interest...
156
click to vote
WSOM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We apply a recent formalization of visualization as information retrieval to linear projections. We introduce a method that optimizes a linear projection for an informati...
159
click to vote
IDA
2009
Springer
15 years 11 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 ...
130
click to vote
IDA
2009
Springer
15 years 11 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 ...
131
click to vote
SPIN
2009
Springer
15 years 11 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...