Sciweavers

11030 search results - page 462 / 2206
» Generative Sound Models
Sort
View
ECOOP
2003
Springer
16 years 1 days ago
A Nominal Theory of Objects with Dependent Types
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
Martin Odersky, Vincent Cremet, Christine Röc...
ICANN
2009
Springer
15 years 11 months ago
Learning SVMs from Sloppily Labeled Data
This paper proposes a modelling of Support Vector Machine (SVM) learning to address the problem of learning with sloppy labels. In binary classification, learning with sloppy labe...
Guillaume Stempfel, Liva Ralaivola
CONTEXT
2001
Springer
15 years 11 months ago
Practical Context Transformation for Information System Interoperability
This paper discusses the use of contextual reasoning, i.e. context transformation for achieving semantic interoperability in heterogeneous information systems. We introduce termino...
Holger Wache, Heiner Stuckenschmidt
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 11 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
IJCNN
2000
IEEE
15 years 11 months ago
A New Method for Tracking Modulations in Tonal Music in Audio Data Format
Cq-profiles are 12-dimensional vectors, each component referring to a pitch class. They can be employed to represent keys. Cq-profiles are calculated with the constant Q filter...
Hendrik Purwins, Benjamin Blankertz, Klaus Obermay...