Sciweavers

2348 search results - page 68 / 470
» A Fuzzy Description Logic
Sort
View
TABLEAUX
1999
Springer
15 years 10 months ago
Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.
Volker Haarslev, Ralf Möller
EUROCRYPT
2005
Springer
15 years 11 months ago
Fuzzy Identity-Based Encryption
We introduce a new type of Identity-Based Encryption (IBE) scheme that we call Fuzzy Identity-Based Encryption. In Fuzzy IBE we view an identity as set of descriptive attributes. ...
Amit Sahai, Brent Waters
ARTCOM
2009
IEEE
16 years 29 days ago
ANFIS Approach for Navigation of Mobile Robots
— This paper, discusses about navigation control of mobile robot using adaptive neuro-fuzzy inference system (ANFIS) in a real word dynamic environment. In the ANFIS controller a...
Mukesh Kumar Singh, Dayal R. Parhi, Jayanta Kumar ...
FSS
2011
68views more  FSS 2011»
15 years 1 months ago
EQ-logics: Non-commutative fuzzy logics based on fuzzy equality
Martin Dyba, Vilém Novák