6562 search results - page 57 / 1313 » Noetherianity and Combination Problems |
161
click to vote
ICCAD
2006
IEEE
16 years 2 months ago
2006
IEEE
The paper explores several ways to improve the speed and capacity of combinational equivalence checking based on Boolean satisfiability (SAT). State-of-the-art methods use simulat...
210
click to vote
FROCOS
2009
Springer
16 years 8 days ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
138
click to vote
AIRS
2008
Springer
16 years 2 days ago
2008
Springer
We present a novel approach that transforms the weighting task to a typical coarse-grained classification problem, aiming to assign appropriate weights for candidate expansion term...
153
click to vote
CICLING
2007
Springer
15 years 12 months ago
2007
Springer
One major problem of state-of-the-art Cross Language Question Answering systems is the translation of user questions. This paper proposes combining the potential of multiple transl...
153
click to vote
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...