6562 search results - page 57 / 1313 » Noetherianity and Combination Problems |
166
click to vote
ICCAD
2006
IEEE
16 years 3 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...
216
click to vote
FROCOS
2009
Springer
16 years 22 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...
147
click to vote
AIRS
2008
Springer
16 years 16 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...
157
click to vote
CICLING
2007
Springer
16 years 10 days 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...
159
click to vote
VMCAI
2007
Springer
16 years 8 days 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...