2225 search results - page 76 / 445 » Logical Structures in the Lexicon |
126
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
A regular circuit structure called a River PLA and its reconfigurable version, Glacier PLA, are presented. River PLAs provide greater regularity than circuits implemented with sta...
151
click to vote
ICCAD
2006
IEEE
16 years 2 months ago
2006
IEEE
The continuous minituarization of integrated circuits may reach atomic scales in a couple of decades. Some researchers have already built simple computation engines by manipulatin...
151
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
153
click to vote
JODS
2007
15 years 5 months ago
2007
This paper describes a theoretical framework for inducing knowledge from incomplete data sets. The general framework can be used with any formalism based on a lattice structure. It...
141
Voted
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...