8766 search results - page 677 / 1754 » Functional logic programming |
155
click to vote
FUZZIEEE
2007
IEEE
16 years 23 days ago
2007
IEEE
— The type-2 Fuzzy Logic Controller (FLC) has started to emerge as a promising control mechanism for autonomous mobile robots navigating in real world environments. This is becau...
178
click to vote
TPHOL
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
168
Voted
ETS
2006
IEEE
16 years 14 days ago
2006
IEEE
BIST is an attractive approach to detect delay faults due to its inherent support for at-speed test. Deterministic logic BIST (DLBIST) is a technique which was successfully applie...
171
click to vote
IJCNN
2006
IEEE
16 years 13 days ago
2006
IEEE
—This paper presents a novel fuzzy logic based controller for a Static Compensator (STATCOM) connected to a power system. Type-II fuzzy systems are selected that enable the contr...
167
click to vote
FCT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In the paper we present a purely logical approach to estimating computational complexity of potentially intractable problems. The approach is based on descriptive complex...