Sciweavers

5344 search results - page 376 / 1069
» Privacy-Preserving Set Operations
Sort
View
CORR
2010
Springer
153views Education» more  CORR 2010»
15 years 4 months ago
Characterising Probabilistic Processes Logically
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...
Yuxin Deng, Rob J. van Glabbeek
119
Voted
CORR
2008
Springer
117views Education» more  CORR 2008»
15 years 4 months ago
Time Warp Edit Distance
: This technical report details a family of time warp distances on the set of discrete time series. This family is constructed as an editing distance whose elementary operations ap...
Pierre-Francois Marteau
ENGL
2008
101views more  ENGL 2008»
15 years 4 months ago
Identifying Perceptually Similar Languages Using Teager Energy Based Cepstrum
Language Identification (LID) refers to the task of identifying an unknown language from the test utterances. In this paper, a new method of feature extraction, viz., Teager Energy...
Hemant A. Patil, T. K. Basu
IANDC
2008
111views more  IANDC 2008»
15 years 4 months ago
Bin packing with controllable item sizes
We consider a natural resource allocation problem in which we are given a set of items, where each item has a list of pairs associated with it. Each pair is a configuration of an a...
José R. Correa, Leah Epstein
ENTCS
2006
120views more  ENTCS 2006»
15 years 4 months ago
SCHOOL: a Small Chorded Object-Oriented Language
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
Sophia Drossopoulou, Alexis Petrounias, Alex Buckl...