Sciweavers

1096 search results - page 109 / 220
» Abstract Canonical Inference
Sort
View
GI
2009
Springer
14 years 7 months ago
Automatic Population and Updating of a Semantic Wiki-based Configuration Management Database
Abstract: This paper describes our work on designing and implementing a component for automatically integrating and updating information about configuration items into a Semantic W...
Frank Kleiner, Andreas Abecker, Ning Liu
TASLP
2010
157views more  TASLP 2010»
14 years 4 months ago
Multichannel Nonnegative Matrix Factorization in Convolutive Mixtures for Audio Source Separation
Abstract--We consider inference in a general data-driven object-based model of multichannel audio data, assumed generated as a possibly underdetermined convolutive mixture of sourc...
Alexey Ozerov, Cédric Févotte
SEMWEB
2011
Springer
14 years 23 days ago
OWLIM: A family of scalable semantic repositories
Abstract. An explosion in the use of RDF for representing information about resources has driven the requirements for Webscale server systems that can store and process huge quanti...
Barry Bishop, Atanas Kiryakov, Damyan Ognyanoff, I...
ICSE
2005
IEEE-ACM
15 years 10 months ago
Check 'n' crash: combining static checking and testing
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
Christoph Csallner, Yannis Smaragdakis
ICFP
2003
ACM
15 years 10 months ago
MLF: raising ML to the power of system F
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
Didier Le Botlan, Didier Rémy