1914 search results - page 55 / 383 » Verification by Abstract Interpretation |
127
Voted
ATAL
2004
Springer
15 years 4 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
120
Voted
MCS
2008
Springer
15 years 14 days ago
2008
Springer
The purpose of this paper is to present some numerical tools which facilitate the interpretation of simulation or data fitting results and which allow to compute optimal experimen...
95
Voted
CORR
2008
Springer
15 years 18 days ago
2008
Springer
Given a query on the PASCAL database maintained by the INIST, we design user interfaces to visualize and wo types of graphs extracted from abstracts: 1) the graph of all associati...
SAT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Polynomial interpretations are one of the most popular techniques for automated termination analysis and the search for such interpretations is a main bottleneck in most ...
113
click to vote
AVBPA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Anti-spoofing protection of biometric systems is always a serious issue in real-life applications of an automatic personal verification system. Despite the fact that face...