Sciweavers

912 search results - page 45 / 183
» Abstract Saturation-Based Inference
Sort
View
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 15 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...
GLOBECOM
2006
IEEE
15 years 3 months ago
AS Path Inference by Exploiting Known AS Paths
Abstract— Inferring AS-level end-to-end paths can be a valuable tool for both network operators and researchers. A widely known technique for inferring end-to-end paths is to per...
Jian Qiu, Lixin Gao
ICSE
2008
IEEE-ACM
15 years 10 months ago
DySy: dynamic symbolic execution for invariant inference
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
Christoph Csallner, Nikolai Tillmann, Yannis Smara...
ICC
2008
IEEE
167views Communications» more  ICC 2008»
15 years 4 months ago
Traceroute-Based Topology Inference without Network Coordinate Estimation
Abstract— Underlay topology information is important to construct efficient overlay networks. To achieve end-to-end network topology inference among a group of hosts, traceroute...
Xing Jin, Wanqing Tu, S.-H. Gary Chan