339 search results - page 28 / 68 » Basic concepts of abstract interpretation |
181
Voted
ECMDAFA
2007
Springer
15 years 9 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, ...
156
click to vote
DDECS
2006
IEEE
15 years 11 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...
143
click to vote
GG
2004
Springer
15 years 10 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...
147
click to vote
DEXA
1997
Springer
15 years 9 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...
140
Voted
JOLLI
2007
15 years 5 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...