Sciweavers

4401 search results - page 279 / 881
» Computing with Default Logic
Sort
View
DATE
2010
IEEE
145views Hardware» more  DATE 2010»
15 years 11 months ago
KL-Cuts: A new approach for logic synthesis targeting multiple output blocks
— This paper introduces the concept of kl-feasible cuts, by controlling both the number k of inputs and the number l of outputs in a circuit cut. To provide scalability, the conc...
Osvaldo Martinello, Felipe S. Marques, Renato P. R...
KR
2010
Springer
15 years 11 months ago
A Logical Understanding of Legal Interpretation
If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing no...
Guido Boella, Guido Governatori, Antonino Rotolo, ...
FSS
2008
124views more  FSS 2008»
15 years 6 months ago
Exact calculations of extended logical operations on fuzzy truth values
In this paper we propose computationally simple, pointwise formulas for extended t-norms and t-conorms on fuzzy truth values. The complex convolutions of the extended operations a...
Zsolt Gera, József Dombi
CORR
2010
Springer
138views Education» more  CORR 2010»
15 years 5 months ago
Feedback control logic synthesis for non safe Petri nets
– This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use condit...
Abbas Dideban, Hassane Alla
BMCBI
2007
109views more  BMCBI 2007»
15 years 6 months ago
A cis-regulatory logic simulator
Background: A major goal of computational studies of gene regulation is to accurately predict the expression of genes based on the cis-regulatory content of their promoters. The d...
Robert D. Zeigler, Jason Gertz, Barak A. Cohen