Sciweavers

9810 search results - page 89 / 1962
» Problems, Descriptions and Objects
Sort
View
ISMIR
2004
Springer
144views Music» more  ISMIR 2004»
15 years 3 months ago
Automatic Drum Sound Description for Real-World Music Using Template Adaptation and Matching Methods
This paper presents an automatic description system of drum sounds for real-world musical audio signals. Our system can represent onset times and names of drums by means of drum d...
Kazuyoshi Yoshii, Masataka Goto, Hiroshi G. Okuno
JSC
2010
135views more  JSC 2010»
14 years 8 months ago
Deciding inseparability and conservative extensions in the description logic EL
We study the problem of deciding whether two ontologies are inseparable w.r.t. a signature Σ, i.e., whether they have the same consequences in the signature Σ. A special case is...
Carsten Lutz, Frank Wolter
FM
1997
Springer
159views Formal Methods» more  FM 1997»
15 years 2 months ago
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
David Cazier, Jean-François Dufourd
ECAL
2001
Springer
15 years 2 months ago
Formal Description of Autopoiesis Based on the Theory of Category
Since the concept of autopoiesis was proposed as a model of minimal living systems by Maturana and Varela, and applied to social systems by Luhmann, there has been only a few math...
Tatsuya Nomura
TIT
2002
92views more  TIT 2002»
14 years 9 months ago
Asymmetric multiple description lattice vector quantizers
We consider the design of asymmetric multiple description lattice quantizers that cover the entire spectrum of the distortion profile, ranging from symmetric or balanced to success...
Suhas N. Diggavi, N. J. A. Sloane, Vinay A. Vaisha...