Sciweavers

1564 search results - page 44 / 313
» Extensions to the Estimation Calculus
Sort
View
DEXAW
2009
IEEE
129views Database» more  DEXAW 2009»
15 years 8 months ago
RDFStats - An Extensible RDF Statistics Generator and Library
—In this paper RDFStats is introduced, which is a generator for statistics of RDF sources like SPARQL endpoints and RDF documents. RDFStats does not only provide a statistics gen...
Andreas Langegger, Wolfram Wöß
IDA
2009
Springer
15 years 8 months ago
Extension of Sparse, Adaptive Signal Decompositions to Semi-blind Audio Source Separation
Abstract. We apply sparse, fast and flexible adaptive lapped orthogonal transforms to underdetermined audio source separation using the time-frequency masking framework. This norm...
Andrew Nesbit, Emmanuel Vincent, Mark D. Plumbley
DATE
2008
IEEE
110views Hardware» more  DATE 2008»
15 years 8 months ago
Run-time System for an Extensible Embedded Processor with Dynamic Instruction Set
One of the upcoming challenges in embedded processing is to incorporate an increasing amount of adaptivity in order to respond to the multifarious constraints induced by today’s...
Lars Bauer, Muhammad Shafique, Stephanie Kreutz, J...
DAGM
2009
Springer
15 years 8 months ago
Optimal Parameter Estimation with Homogeneous Entities and Arbitrary Constraints
Abstract. Well known estimation techniques in computational geometry usually deal only with single geometric entities as unknown parameters and do not account for constrained obser...
Jochen Meidow, Wolfgang Förstner, Christian B...
TABLEAUX
2009
Springer
15 years 8 months ago
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference
We consider two sequent calculi for tense logic in which the syntactic judgements are nested sequents, i.e., a tree of traditional onesided sequents built from multisets of formula...
Rajeev Goré, Linda Postniece, Alwen Tiu