5506 search results - page 326 / 1102 » Minimal Logic Programs |
132
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
As current silicon-based techniques fast approach their practical limits, the investigation of nanoscale electronics, devices and system architectures becomes a central research p...
143
click to vote
GLVLSI
2008
IEEE
15 years 11 months ago
2008
IEEE
Timing optimizations during logic synthesis has become a necessary step to achieve timing closure in VLSI designs. This often involves “shortening” all paths found in the circ...
158
click to vote
LOPSTR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. It has often been observed that a point-free style of programvides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semant...
144
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge...
258
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...