7109 search results - page 146 / 1422 » Process Algebra with Combinators |
97
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Modern monaural voice and accompaniment separation systems usually consist of two main modules: melody extraction and timefrequency masking. A main distinction between different s...
115
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
The goal of this work was to explore modeling techniques to improve bird species classification from audio samples. We first developed an unsupervised approach to obtain approxima...
112
Voted
AMAST
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
116
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
100
Voted
CIDR
2007
15 years 5 months ago
2007
We describe the design and implementation of the Cornell Cayuga System for scalable event processing. We present a query language based on Cayuga Algebra for naturally expressing ...