7121 search results - page 167 / 1425 » Functions as Session-Typed Processes |
159
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, models and algorithms are presented for transcription of pitch and timings in polyphonic music extracts, focusing on the algorithm details of the sequential Markov ...
182
click to vote
CASE
2011
14 years 6 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
154
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
This paper is concerned with the task of travel-time prediction for an arbitrary origin-destination pair on a map. Unlike most of the existing studies, which focus only on a parti...
163
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—The difficulty of processing data in encrypted form has long been the barrier to the widespread use of encryption in data storage applications; improved security or privacy wou...
166
click to vote
CISIS
2008
IEEE
16 years 26 days ago
2008
IEEE
Solving problems raised by heterogeneous ontologies can be achieved by matching the ontologies and processing the resulting alignments. This is typical of data mediation in which ...