653 search results - page 100 / 131 » Partial equilibrium logic |
134
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Following the ideas of the Remote Procedure Call model, we have developed a logic programming counterpart, naturally called Prolog Remote Predicate Call (Prolog RPC) [1]. The Prol...
128
Voted
TCAD
1998
15 years 3 months ago
1998
Conventional scan design imposes considerable area and delay overhead by using larger scan
ip-
ops and additional scan wires without utilizing the functionality of the combinatio...
117
Voted
ICCAD
2010
IEEE
15 years 1 months ago
2010
IEEE
Boolean matching for multiple-output functions determines whether two given (in)completely-specified function vectors can be identical to each other under permutation and/or negat...
174
Voted
RSCTC
2010
Springer
15 years 1 months ago
2010
Springer
Automatic indexing of music instruments for multi-timbre sounds is challenging, especially when partials from different sources are overlapping with each other. Temporal features, ...
125
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...