1914 search results - page 82 / 383 » Verification by Abstract Interpretation |
173
click to vote
POPL
1995
ACM
15 years 4 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
121
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
122
Voted
COLING
2008
15 years 2 months ago
2008
Most studies in statistical or machine learning based authorship attribution focus on two or a few authors. This leads to an overestimation of the importance of the features extra...
104
click to vote
MIRAGE
2009
Springer
15 years 7 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...
112
click to vote
CORR
2010
Springer
15 years 20 days ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...