Sciweavers

5378 search results - page 238 / 1076
» Base Logics in Argumentation
Sort
View
EUSFLAT
2003
117views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
Genetic fuzzy controllers: from simulated based learning to a real application
This work shows a stand-alone photovoltaic system application based on fuzzy logic controllers and genetic fuzzy systems. A hierarchical fuzzy controller has been designed that at...
Joaquín Cañada Bago, Jorge Aguilera,...
COOPIS
2003
IEEE
16 years 22 hour ago
Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web
Abstract. Flora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from meta-data management to informat...
Guizhen Yang, Michael Kifer, Chang Zhao
DFT
2008
IEEE
151views VLSI» more  DFT 2008»
15 years 8 months ago
Design and Evaluation of a Timestamp-Based Concurrent Error Detection Method (CED) in a Modern Microprocessor Controller
This paper presents a concurrent error detection technique for the control logic of a modern microprocessor. Our method is based on execution time prediction for each instruction ...
Michail Maniatakos, Naghmeh Karimi, Yiorgos Makris...
IJIT
2004
15 years 8 months ago
Rule-Based Message Passing for Collaborative Application in Distributed Environments
In this paper, we describe a rule-based message passing method to support developing collaborative applications, in which multiple users share resources in distributed environments...
Wataru Yamazaki, Hironori Hiraishi, Fumio Mizoguch...
IJPRAI
2000
108views more  IJPRAI 2000»
15 years 6 months ago
Knowledge Base Reformation: Preparing First-Order Theories for Efficient Propositional Reasoning
We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since...
Helmut Prendinger, Mitsuru Ishizuka, Gerhard Schur...