4401 search results - page 635 / 881 » Computing with Default Logic |
139
Voted
ICLP
1998
Springer
15 years 9 months ago
1998
Springer
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
114
click to vote
ECSQARU
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
130
Voted
ICLP
1997
Springer
15 years 9 months ago
1997
Springer
Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the dependencies between events being described in the prog...
154
click to vote
ICCAD
1994
IEEE
15 years 9 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
148
Voted
ICCD
1994
IEEE
15 years 9 months ago
1994
IEEE
There is currently great interest in using fixed arrays of FPGAs for logic emulators, custom computing devices, and software accelerators. An important part of designing such a sy...