1960 search results - page 87 / 392 » The Logic of Large Enough |
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
- The inclusion of programmable logic cores in modern SoCs motivates the need for an access network to make full use of this resource. The programmable nature of these cores remove...
KR
2004
Springer
14 years 1 months ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
ISMVL
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we propose a compact representation of logic functions using Multi-valued Decision Diagrams (MDDs) called heterogeneous MDDs. In a heterogeneous MDD, each variable ...
ICCS
1998
Springer
14 years 1 days ago
1998
Springer
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics),...
EUROPAR
1995
Springer
13 years 11 months ago
1995
Springer
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...