4814 search results - page 7 / 963 » Combining abstract interpreters |
MIRAGE
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We present a fast and robust iterative method for interpreting face images under non-uniform lighting conditions by using a fitting algorithm which utilizes an illuminat...
ENTCS
2008
13 years 9 months ago
2008
and Abstract Interpretation for C/C++ Programs Helge L
ICFP
2005
ACM
14 years 9 months ago
2005
ACM
LICS
2010
IEEE
13 years 8 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
ENTCS
2008
13 years 9 months ago
2008
istic Abstract Interpretation Alessandra Di Pierro1 Pascal Sotin2 Herbert Wiklicky3 Within the context of a quantitative generalisation of the well established framework of Abstra...