3047 search results - page 248 / 610 » On the Meaning of Logical Completeness |
165
Voted
MICRO
2005
IEEE
16 years 1 months ago
2005
IEEE
Large numbers of logical registers can improve performance by allowing fast access to multiple subroutine contexts (register windows) and multiple thread contexts (multithreading)...
212
click to vote
ECAI
2004
Springer
16 years 1 months ago
2004
Springer
Friedman and Halpern have introduced the inference by plausibility structures, which provides semantics for various default logics. This is a generalization of known inferences, su...
188
click to vote
FOSSACS
2004
Springer
16 years 1 months ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
181
click to vote
ITC
2003
IEEE
16 years 1 months ago
2003
IEEE
Abstract: We discuss the development of Built-In SelfTest (BIST) configurations that test all of the programmable logic and interconnect resources in the core of Xilinx 4000E, 4000...
211
click to vote
ICLP
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...