1724 search results - page 1 / 345 » Abstract Interpreters for Free |
SAS
2010
Springer
13 years 3 months ago
2010
Springer
ICISS
2009
Springer
13 years 9 months ago
2009
Springer
In this paper we introduce a distortion free watermarking e for relational databases based on the Abstract Interpretation framework. The watermarking technique is partition based. ...
TACS
1994
Springer
13 years 9 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
Abstract— Families of differential operators, like those defining affine, generally nonlinear, control systems are known to have natural Hopf algebra structures. These provide ...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Abstract. We develop a statistical mechanical interpretation of algorithmic information theory by introducing the notion of thermodynamic quantities, such as free energy, energy, s...