Sciweavers

2929 search results - page 181 / 586
» Robust Hand Detection
Sort
View
LPAR
2010
Springer
15 years 2 months ago
SAT Encoding of Unification in EL
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
Franz Baader, Barbara Morawska
PIMRC
2010
IEEE
15 years 2 months ago
Making multiuser MIMO work for LTE
Underlining the viability of multiuser (MU) MIMO for future wireless communications as long term evolution (LTE), we propose in this paper a precoding strategy based on the low res...
Rizwan Ghaffar, Raymond Knopp
QEST
2010
IEEE
15 years 2 months ago
DTMC Model Checking by SCC Reduction
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
Erika Ábrahám, Nils Jansen, Ralf Wim...
ICASSP
2011
IEEE
14 years 8 months ago
Automatic real-time electric guitar audio transcription
Guitar audio transcription is the process of generating a human-interpretable musical score from guitar audio. The musical score is presented as guitar tablature, which indicates ...
Xander Fiss, Andres Kwasinski
ICCCN
2008
IEEE
15 years 11 months ago
Multi-Modal Target Tracking Using Heterogeneous Sensor Networks
Abstract— The paper describes a target tracking system running on a Heterogeneous Sensor Network (HSN) and presents results gathered from a realistic deployment. The system fuses...
Manish Kushwaha, Isaac Amundson, Péter V&ou...