4126 search results - page 301 / 826 » Set based logic programming |
170
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
128
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract The Little-Hopfield neural network programmed with Horn clauses is studied. We argue that the energy landscape of the system, corresponding to the inconsistency function f...
138
click to vote
VLSID
2008
IEEE
16 years 5 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
129
click to vote
DAC
2003
ACM
16 years 6 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
179
Voted
FPGA
2008
ACM
15 years 6 months ago
2008
ACM
Look-up table based FPGAs have migrated from a niche technology for design prototyping to a valuable end-product component and, in some cases, a replacement for general purpose pr...