831 search results - page 51 / 167 » Coalgebraic Correspondence Theory |
ICASSP
2007
IEEE
15 years 6 months ago
2007
IEEE
A novel technique for detecting single and multi-note ornaments is presented. The system detects audio segments by utilising an onset detector based on comb filters (ODCF), which ...
CCA
2005
Springer
15 years 5 months ago
2005
Springer
In the Type-2 Theory of Effectivity, one considers representations of topological spaces in which infinite words are used as “names” for the elements they represent. Given s...
ISIPTA
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we adopt the geometric approach to the theory of evidence to study the geometric counterparts of the plausibility functions, or upper probabilities. The computation ...
AC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
100
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
A team of agents planning to perform a complex task make a number of interrelated decisions as they determine precisely how that complex task will be performed. The decision set i...