-
Dynamic range estimation for nonlinear systems
B Wu, J Zhu, FN Najm - IEEE/ACM International Conference on ..., 2004 - ieeexplore.ieee.org
... We next consider the affine arithmetic approach proposed in 141. which is able to capture
spatial correlation by representing each signal as a linear combination of uniformly distributed ...
Fast and precise certification of transformers
G Bonaert, DI Dimitrov, M Baader... - Proceedings of the 42nd ..., 2021 - dl.acm.org
... All affine arithmetic operations such as sums, subtractions or scalings can be applied
directly in the abstract Zonotope domain. Since affine arithmetic is exact, the corresponding ...
A scalable precision analysis framework
D Boland, GA Constantinides - IEEE transactions on ..., 2012 - ieeexplore.ieee.org
... When performing polynomial approximations, for a fair comparison we use the same
polynomial approximation method for affine arithmetic and our approach, with the exception of ...
パラメタを含むハイブリッドシステムに対するアフィン演算を用いた記号シミュレーション
松本翔太, 上田和紀 - 日本ソフトウェア科学会大会論文集, 2016 - jssst.or.jp
... In this paper, we discuss a simulation method that is based on symbolic computation and
cooperates with the interval Newton method and affine arithmetic, which is able to preserve first...
Robust approximation of offsets and bisectors of plane curves
JBS de Oliveira... - Proceedings 13th Brazilian ..., 2000 - ieeexplore.ieee.org
... Affine arithmetic [3] is one of these tools, and its use in interval methods has resulted in faster
algorithms for several problems in computer graphics [4,5,7,16,17]. Our next step is to use ...
Interpolation-based extraction of representative isosurfaces
O Fernandes, S Frey, T Ertl - International Symposium on Visual ..., 2016 - Springer
We propose a novel technique for the automatic, similarity-based selection of representative
surfaces. While our technique can be applied to any set of manifolds, we particularly focus ...