3342 search results - page 6 / 669 » Automating Abstract Interpretation |
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
134
click to vote
AUSAI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper presents a complete visual surveillance system for automatic scene interpretation of airport aprons. The system comprises two main modules — Scene Tracking a...
176
click to vote
POPL
2004
ACM
16 years 20 days ago
2004
ACM
NON-INTERFERENCE rizing Non-Interference by Abstract Interpretation Roberto Giacobazzi and Isabella Mastroeni Dipartimento di Informatica Universit`a di Verona Italy POPL'04 -...
102
Voted
AMAST
1997
Springer
15 years 4 months ago
1997
Springer
111
Voted
CADE
2010
Springer
14 years 11 months ago
2010
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. In an automated setting, termination tools are concerned with parametric polynomi...