Sciweavers

2203 search results - page 247 / 441
» Temporal Abstract Interpretation
Sort
View
127
Voted
PERVASIVE
2009
Springer
15 years 10 months ago
Mobile Device Interaction with Force Sensing
Abstract. We propose a new type of input for mobile devices by sensing forces applied by users to device casings. Deformation of the devices is not necessary for such “force gest...
James Scott, Lorna M. Brown, Mike Molloy
134
Voted
ASWC
2009
Springer
15 years 10 months ago
Querying the Web of Data: A Formal Approach
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...
Paolo Bouquet, Chiara Ghidini, Luciano Serafini
152
Voted
WSOM
2009
Springer
15 years 10 months ago
Visualization by Linear Projections as Information Retrieval
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...
Jaakko Peltonen
IDA
2009
Springer
15 years 10 months ago
Bayesian Non-negative Matrix Factorization
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 ...
Mikkel N. Schmidt, Ole Winther, Lars Kai Hansen
IDA
2009
Springer
15 years 10 months ago
Bayesian Solutions to the Label Switching Problem
Abstract. The label switching problem, the unidentifiability of the permutation of clusters or more generally latent variables, makes interpretation of results computed with MCMC ...
Kai Puolamäki, Samuel Kaski