Sciweavers

1568 search results - page 16 / 314
» Fusions of Description Logics
Sort
View
CADE
2009
Springer
15 years 10 months ago
System Description: H-PILoT
Carsten Ihlemann, Viorica Sofronie-Stokkermans
CSL
2010
Springer
15 years 6 months ago
Randomisation and Derandomisation in Descriptive Complexity Theory
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...
Kord Eickmeyer, Martin Grohe
CSL
2000
Springer
15 years 10 months ago
Bounded Arithmetic and Descriptive Complexity
We study definability of languages in arithmetic and the free monoid by bounded versions of fixed-point and transitive-closure logics. In particular we give logical characterisat...
Achim Blumensath
ICASSP
2007
IEEE
16 years 10 days ago
Adaptive Weight Estimation in Multi-Biometric Verification using Fuzzy Logic Decision Fusion
This paper describes a multi-biometric verification system that is fully adaptive to variability in data acquisition using fuzzy logic decision fusion. The system uses fuzzy logic...
Henry Pak-Sum Hui, Helen M. Meng, Man-Wai Mak