157 search results - page 16 / 32 » Interpolation and Symbol Elimination |
165
click to vote
SIGCSE
2005
ACM
15 years 11 months ago
2005
ACM
We provide a systematic transformation of an LL(1) grammar to an object model that consists of · an object structure representing the non-terminal symbols and their corresponding...
153
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
158
click to vote
CAV
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
160
click to vote
ISMDA
2004
Springer
15 years 11 months ago
2004
Springer
MR images usually present grey level inhomogeneities which are a problem of significant importance. Eliminating these inhomogeneities is not an easy problem and has been studied a...
179
click to vote
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...