Sciweavers

4978 search results - page 146 / 996
» Logical models of argument
Sort
View
ATS
2005
IEEE
164views Hardware» more  ATS 2005»
15 years 6 months ago
A Family of Logical Fault Models for Reversible Circuits
Reversibility is of interest in achieving extremely low power dissipation; it is also an inherent design requirement of quantum computation. Logical fault models for conventional ...
Ilia Polian, Thomas Fiehn, Bernd Becker, John P. H...
FROCOS
2011
Springer
14 years 3 months ago
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
ECRTS
1999
IEEE
15 years 8 months ago
Timed automaton models for simple programmable logic controllers
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
Angelika Mader, Hanno Wupper
EUSFLAT
2007
108views Fuzzy Logic» more  EUSFLAT 2007»
15 years 5 months ago
Homomorphisms of Fuzzy Logic Models Based on Sets With Similarities
We investigate interpretations ψ D of formulas ψ in a first order fuzzy logic in models D which are based on Ω-sets, i.e. sets with similarity relations with values in a comp...
Jiri Mockor
CMSB
2004
Springer
15 years 9 months ago
Modelling Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods
In this paper we present a methodology to estimate rates of enzymatic reactions in metabolic pathways. Our methodology is based on applying stochastic logic learning in ensemble le...
Huma Lodhi, Stephen Muggleton