691 search results - page 2 / 139 » Equational Abstractions |
SIAMCO
2010
12 years 11 months ago
2010
der abstract second order evolution equations with unbounded feedback with time-varying delay. Existence results are obtained under some realistic assumptions. We prove the expone...
CAV
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
BILDMED
2008
13 years 6 months ago
2008
Abstract. The present paper derives two new equations for the nonlinear registration of images based on Euler-Lagrange equations. It offers a systematic way to construct fluid exte...
PLILP
1993
Springer
13 years 8 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
SYNASC
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract. In this paper we give some applications of weakly Picard operators theory to linear positive approximation operators, to difference equations with deviating argument and...