Sciweavers

1036 search results - page 124 / 208
» Incompleteness of Behavioral Logics
Sort
View
TIFS
2010
97views more  TIFS 2010»
13 years 7 months ago
On the location of an eavesdropper in multiterminal networks
—We study the optimum location of an eavesdropper from a secrecy capacity perspective in multiterminal networks with power control. We determine the logical location of an eavesd...
S. Anand, R. Chandramouli
EUSFLAT
2009
186views Fuzzy Logic» more  EUSFLAT 2009»
13 years 6 months ago
Analysis of Similarity Measures for Atanassov's Intuitionistic Fuzzy Sets
We consider some existing similarity measures for Atanassov's intuitionistic fuzzy sets (A-IFSs, for short). We show that neither similarity measures treating an A-IF as a sim...
Eulalia Szmidt, Janusz Kacprzyk
EUSFLAT
2009
195views Fuzzy Logic» more  EUSFLAT 2009»
13 years 6 months ago
Optimization of an Oil Production System using Neural Networks and Genetic Algorithms
This paper proposes an optimization strategy which is based on neural networks and genetic algorithms to calculate the optimal values of gas injection rate and oil rate for oil pro...
Guillermo Jimenez de la Cruz, Jose A. Ruz-Hernande...
DLOG
2011
13 years 13 days ago
Practical Epistemic Entailment Checking in SROIQ
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
Anees Mehdi, Sebastian Rudolph
TCAD
2008
93views more  TCAD 2008»
13 years 8 months ago
Transforming Cyclic Circuits Into Acyclic Equivalents
Abstract--Designers and high-level synthesis tools can introduce unwanted cycles in digital circuits, and for certain combinational functions, cyclic circuits that are stable and d...
Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song