Sciweavers

282 search results - page 20 / 57
» Propositional Fusion Rules
Sort
View
KR
2000
Springer
13 years 11 months ago
Reduction rules and universal variables for first order tableaux and DPLL
Recent experimental results have shown that the strength of resolution, the propositional DPLL procedure, the KSAT procedure for description logics, or related tableau-like implem...
Fabio Massacci
CISS
2008
IEEE
14 years 2 months ago
Distributed detection in the presence of frequency offset and phase shift
— In this paper, we study the problem of distributed detection in the presence of unknown carrier frequency offset (CFO) and initial phase, the issue we encounter in the emerging...
Tao Wu, Qi Cheng
ISBI
2004
IEEE
14 years 8 months ago
Performance-Based Multi-Classifier Decision Fusion for Atlas-Based Segmentation of Biomedical Images
Combinations of multiple classifiers have been found to be consistently more accurate than a single classifier. The construction of multiple independent classifiers, however, is t...
Torsten Rohlfing, Daniel B. Russakoff, Calvin R. M...
LFCS
2009
Springer
14 years 2 months ago
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
Arnon Avron, Anna Zamansky
AVBPA
2005
Springer
320views Biometrics» more  AVBPA 2005»
14 years 1 months ago
A Principled Approach to Score Level Fusion in Multimodal Biometric Systems
A multimodal biometric system integrates information from multiple biometric sources to compensate for the limitations in performance of each individual biometric system. We propos...
Sarat C. Dass, Karthik Nandakumar, Anil K. Jain