2203 search results - page 265 / 441 » Temporal Abstract Interpretation |
134
click to vote
AUSAI
2006
Springer
15 years 7 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...
118
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...
134
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...
123
click to vote
ICCS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Conceptual graphs (CGs) share with FOL a fundamental expressiveness limitation: only higher-order logics allow assertions of properties on predicates. This paper intends ...
147
click to vote
PRICAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...