107 search results - page 3 / 22 » Improving Abstract Interpretations by Combining Domains |
FSTTCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
AUSAI
2003
Springer
14 years 22 days ago
2003
Springer
Abstract. Automated image interpretation is an important task in numerous applications ranging from security systems to natural resource inventorization based on remote-sensing. Re...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
WOA
2003
13 years 8 months ago
2003
Abstract—This paper illustrates how the functionalities of monitoring/control systems, within an agent–based framework, can be improved by the adoption of Knowledge–Based tec...
MCS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. In this paper we present a novel approach to combining multiple kernels where the kernels are computed from different information channels. In contrast to traditional me...