1689 search results - page 232 / 338 » Refining abstract interpretations |
126
click to vote
AIMSA
2006
Springer
15 years 8 months ago
2006
Springer
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...
139
Voted
AUSAI
2006
Springer
15 years 8 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...
121
click to vote
DAGM
2006
Springer
15 years 7 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...
137
click to vote
EDBTW
2006
Springer
15 years 7 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...
128
Voted
AUSAI
2003
Springer
15 years 7 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...