1737 search results - page 101 / 348 » On Interpolation in Existence Logics |
138
click to vote
FPL
2007
Springer
16 years 14 days ago
2007
Springer
Programmable logic cores (PLCs) offer a means of providing post-fabrication re-configurability to a SoC design. Circuits implemented in a PLC will inevitably have lower timing per...
140
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative p...
220
click to vote
VLSID
1993
IEEE
15 years 10 months ago
1993
IEEE
High throughput and low latency designs are required in modern high performance systems, especially for signal processing applications. Existing logic families cannot provide both...
188
click to vote
GCC
2007
Springer
15 years 8 months ago
2007
Springer
In recent years, the rapid growth of m-commerce is being driven by various emerging mobile applications and services. Among them, mobile information service is considered to be on...
150
click to vote
AAAI
1994
15 years 7 months ago
1994
In this paper we argue that for realistic applications involving default reasoning it is necessary to reason about the priorities of defaults. Existing approaches require the know...