4814 search results - page 7 / 963 » Combining abstract interpreters |
MIRAGE
2009
Springer
15 years 6 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
14 years 11 months ago
2008
and Abstract Interpretation for C/C++ Programs Helge L
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
119
click to vote
LICS
2010
IEEE
14 years 10 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
14 years 11 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...