634 search results - page 89 / 127 » Completion Procedures as Semidecision Procedures |
DAC
2009
ACM
14 years 9 months ago
2009
ACM
Metal-only ECO realizes the last-minute design changes by revising the photomasks of metal layers only. This task is challenging because the pre-injected spare cells are limited b...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
This paper gives a simple but nontrivial set of local transformation rules for Control-NOT(CNOT)-based combinatorial circuits. It is shown that this rule set is complete, namely, ...
MICCAI
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. Accurate registration of cortical structures plays a fundamental role in statistical analysis of brain images across population. This paper presents a novel framework for...
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...