313 search results - page 20 / 63 » Lazy Abstraction with Interpolants |
MOC
2002
14 years 11 months ago
2002
Abstract. This article is devoted to the construction of a Hermite-type regularization operator transforming functions that are not necessarily C1 into globally C1 finite-element f...
ACII
2007
Springer
15 years 6 months ago
2007
Springer
ended abstract reports on on-going work exploring the addition of a certain degree of control over expressivity in a unit selection context. Rather than merely choosing one unit se...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— In [1] a balanced canonical form for continuoustime lossless systems was presented. This form has a tridiagonal dynamical matrix A and the useful property that the corr...
IEICET
2006
14 years 12 months ago
2006
Abstract -- The application of Orthogonal SpaceTime Block Codes (O-STBC) as the encoding scheme in the presence of "non-quasi-static" fading was considered. A simple and ...
124
click to vote
SPIN
2012
Springer
13 years 2 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...