503 search results - page 52 / 101 » Interpolative Boolean Logic |
120
click to vote
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
— The research in the field of reversible logic is motivated by its application in low-power design, optical computing and quantum computing. Hence synthesis of reversible logic...
104
Voted
ECSQARU
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...
120
Voted
ICFEM
2005
Springer
15 years 6 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
107
click to vote
JSYML
2006
15 years 22 days ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
119
click to vote
AB
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...