Sciweavers

2610 search results - page 316 / 522
» Computational Probabilistic Non-interference
Sort
View
126
Voted
ICPR
2010
IEEE
15 years 10 months ago
Bayesian Inference for Nonnegative Matrix Factor Deconvolution Models
In this paper we develop a probabilistic interpretation and a full Bayesian inference for non-negative matrix deconvolution (NMFD) model. Our ultimate goal is unsupervised extract...
Serap Kirbiz, Ali Taylan Cemgil, Bilge Gunsel
STACS
2010
Springer
15 years 10 months ago
Named Models in Coalgebraic Hybrid Logic
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
Lutz Schröder, Dirk Pattinson
118
Voted
PERVASIVE
2009
Springer
15 years 10 months ago
Realistic Driving Trips For Location Privacy
Simulated, false location reports can be an effective way to confuse a privacy attacker. When a mobile user must transmit his or her location to a central server, these location re...
John Krumm
137
Voted
RECOMB
2009
Springer
15 years 10 months ago
Reconstructing Histories of Complex Gene Clusters on a Phylogeny
Abstract. Clusters of genes that have evolved by repeated segmental duplication present difficult challenges throughout genomic analysis, from sequence assembly to functional analy...
Tomás Vinar, Brona Brejová, Giltae S...
CSR
2009
Springer
15 years 10 months ago
Depth Reduction for Circuits with a Single Layer of Modular Counting Gates
We consider the class of constant depth AND/OR circuits augmented with a layer of modular counting gates at the bottom layer, i.e AC0 ◦MODm circuits. We show that the following ...
Kristoffer Arnsfelt Hansen