339 search results - page 28 / 68 » Basic concepts of abstract interpretation |
119
click to vote
ECMDAFA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
105
click to vote
DDECS
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
GG
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the w...
DEXA
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. In this paper, a new approach for retrieval from semistructured photographic collections is described. We have developed a retrieval model based on the Dempster-Shafer th...
JOLLI
2007
14 years 11 months ago
2007
Abstract This paper presents a framework for the generation of coherent elementary conversational sequences at the speech act level. We will embrace the notion of a cooperative dia...