Search
Now showing items 31-40 of 164
Abstract Model Counting: A Novel Approach for Quantification of Information Leaks
(ACM, 2014)
We present a novel method for Quantitative Information Flow analysis. We show how the problem of computing information leakage can be viewed as an extension of the Satisfiability Modulo Theories (SMT) problem. This view ...
Quantifying Information Leaks Using Reliability Analysis
(ACM, 2014)
We report on our work-in-progress into the use of reliability analysis to quantify information leaks. In recent work we have proposed a software reliability analysis technique that uses symbolic execution and model counting ...
Big Data for Musicology
(2014-09-12)
Template Adaptation for Improving Automatic Music Transcription
(2014-10-27)
In this work, we propose a system for automatic music transcription which adapts dictionary templates so that they closely match the spectral shape of the instrument sources present in each recording. Current dictionary-based ...
Magic in the machine: a computational magician's assistant
(Frontiers, 2014-11-17)