Sciweavers

2225 search results - page 147 / 445
» Logical Structures in the Lexicon
Sort
View
IGPL
2007
75views more  IGPL 2007»
15 years 6 months ago
Logic for Mathematical Writing
In the School of Mathematical Sciences at Queen Mary in the University of London we have been running a module that teaches the students to write good mathematical English. The mo...
Edmund Harriss, Wilfrid Hodges
MLQ
2007
111views more  MLQ 2007»
15 years 6 months ago
On n-contractive fuzzy logics
It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w.r.t. the class of all finite MTL-chains. In order to reach a deeper understanding ...
Rostislav Horcík, Carles Noguera, Milan Pet...
CORR
2012
Springer
188views Education» more  CORR 2012»
14 years 2 months ago
A Logical Characterization of Constraint-Based Causal Discovery
We present a novel approach to constraintbased causal discovery, that takes the form of straightforward logical inference, applied to a list of simple, logical statements about ca...
Tom Claassen, Tom Heskes
ICCAD
2008
IEEE
153views Hardware» more  ICCAD 2008»
16 years 3 months ago
Boolean factoring and decomposition of logic networks
This paper presents new methods for restructuring logic networks based on fast Boolean techniques. The basis for these are 1) a cut based view of a logic network, 2) exploiting th...
Alan Mishchenko, Robert K. Brayton, Satrajit Chatt...
FPL
2004
Springer
95views Hardware» more  FPL 2004»
15 years 12 months ago
Improving FPGA Performance and Area Using an Adaptive Logic Module
This paper proposes a new adaptable FPGA logic element based on fracturable 6-LUTs, which fundamentally alters the longstanding belief that a 4-LUT is the most efficient area/delay...
Michael Hutton, Jay Schleicher, David M. Lewis, Br...