1914 search results - page 263 / 383 » Verification by Abstract Interpretation |
104
Voted
AUSAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
90
Voted
DAGM
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Recently, the Phase Field Method has shown to be a powerful tool for variational image segmentation. In this paper, we present a novel multi-phase model for probability b...
105
click to vote
EDBTW
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. While XQuery is becoming a standard, the W3C is currently discussing the features of an update language for XML, and its requirements. Therefore, time is ripe for designi...
AUSAI
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
124
click to vote
CAV
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...