Sciweavers

79 search results - page 12 / 16
» A Sensorimotor Approach to Sound Localization
Sort
View
ICMCS
2006
IEEE
173views Multimedia» more  ICMCS 2006»
15 years 3 months ago
Applying Supervised Classifiers Based on Non-negative Matrix Factorization to Musical Instrument Classification
In this paper, a new approach for automatic audio classification using non-negative matrix factorization (NMF) is presented. Training is performed onto each audio class individua...
Emmanouil Benetos, Margarita Kotti, Constantine Ko...
ESWS
2005
Springer
15 years 3 months ago
DRAGO: Distributed Reasoning Architecture for the Semantic Web
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
Luciano Serafini, Andrei Tamilin
SIAMJO
2010
84views more  SIAMJO 2010»
14 years 8 months ago
A Redistributed Proximal Bundle Method for Nonconvex Optimization
Proximal bundle methods have been shown to be highly successful optimization methods for unconstrained convex problems with discontinuous first derivatives. This naturally leads ...
Warren Hare, Claudia A. Sagastizábal
POPL
2006
ACM
15 years 10 months ago
Stratified type inference for generalized algebraic data types
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
François Pottier, Yann Régis-Gianas
SAC
2010
ACM
15 years 4 months ago
Dual analysis for proving safety and finding bugs
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
Corneliu Popeea, Wei-Ngan Chin