1269 search results - page 92 / 254 » Pi-Calculus in Logical Form |
172
Voted
JUCS
2006
15 years 18 days ago
2006
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
114
Voted
IJAR
2010
14 years 11 months ago
2010
The logical and algorithmic properties of stable conditional independence (CI) as an alternative structural representation of conditional independence information are investigated...
220
click to vote
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
92
Voted
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a new method of built-in-self-test (BIST) for sequential circuits and system-on-a-chip (SOC) using characteristic faults and circuitspeciļ¬c spectral information in th...
123
click to vote
IWPSE
2003
IEEE
15 years 6 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...