971 search results - page 14 / 195 » Approximate Satisfiability and Equivalence |
174
click to vote
GLVLSI
2005
IEEE
16 years 6 days ago
2005
IEEE
In this paper we develop a theory of equivalence checking (EC) and logic synthesis of circuits with a common specification (CS). We show that two combinational circuits N1, N2 have...
161
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We propose a technique that takes a triangulated surface as input and outputs a surface with the same topology but altered geometry such that each polygon falls into a set of disc...
177
click to vote
DKE
2008
15 years 6 months ago
2008
In this paper, we discuss a novel technique based on semantic constraints to improve the performance and portability of a reformulation-based question answering system. First, we ...
165
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We prove that observational equivalence of IA3 + Y0 (3rdorder Idealized Algol with 0th-order recursion) is equivalent to the DPDA Equivalence Problem, and hence decidable...
163
click to vote
CSDA
2006
15 years 6 months ago
2006
A studentized range test using a two-stage and a one-stage sampling procedures, respectively, is proposed for testing the hypothesis that the average deviation of the normal means...