691 search results - page 73 / 139 » Equational Abstractions |
CORR
2011
Springer
13 years 5 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
ENTCS
2008
13 years 10 months ago
2008
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
SCALESPACE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this paper we investigate a family of partial di erential equations (PDEs) for image processing which can be regarded as isotropic nonlinear di usion with an additiona...
PLILP
1993
Springer
14 years 2 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...
TACAS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...