313 search results - page 28 / 63 » Lazy Abstraction with Interpolants |
TIP
1998
13 years 7 months ago
1998
Abstract—In this paper, we propose an optimal quadtree (QT)based motion estimator for video compression. It is optimal in the sense that for a given bit budget for encoding the d...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We introduce a new glass tile generation method for simulating Stained Glass using region segmentation algorithm and cubic spline interpolation method. We apply a Mean sh...
CSDA
2007
13 years 7 months ago
2007
Abstract. Censored quantile regressions (CQR) are a valuable tool in economics and engineering. The computation of estimators is highly complex and the performance of standard meth...