3773 search results - page 637 / 755 » Logical Reasoning |
124
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
113
click to vote
VLSID
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper is an attempt to answer the following question: how much improvement can be obtained in logic decomposition by using Boolean divisors? Traditionally, the existence of t...
137
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
This paper investigates the role of existing "probabilistic" schemes to reason about various everyday situations on the basis of data from multiple heterogeneous physical...
126
click to vote
ICCAD
2001
IEEE
16 years 1 months ago
2001
IEEE
Redundancy-addition-and-removal is a rewiring technique which for a given target wire wt finds a redundant alternative wire wa. Addition of wa makes wt redundant and hence removab...
112
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
We study the complexity of the propositional minimal inference problem. Its complexity has been extensively studied before because of its fundamental importance in artificial int...