3228 search results - page 81 / 646 » Computationally Sound Proofs |
TEI
2010
ACM
14 years 3 months ago
2010
ACM
Stretch sensors appear to offer the physical computing and wearables communities a solution in their flexibility. This paper introduces an interdisciplinary project in which knit,...
ACL
2007
13 years 10 months ago
2007
We address the task of unsupervised topic segmentation of speech data operating over raw acoustic information. In contrast to existing algorithms for topic segmentation of speech,...
AAAI
1997
13 years 10 months ago
1997
1 We propose a paradigm for ecologically valid, authentic, unobtrusive, automatic, data-rich, fast, robust, and sensitive evaluation of computer-assisted student performance. We i...
ICASSP
2011
IEEE
13 years 18 days ago
2011
IEEE
In this paper, we present a new algorithm for removing drums from a polyphonic audio signal. The aim of this algorithm is to discard time/frequency bins which present a percussive...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...