615 search results - page 9 / 123 » High-Level Nondeterministic Abstractions in |
125
click to vote
SAMT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents an approach on high-level feature detection using a region thesaurus. MPEG-7 features are locally extracted from segmented regions and for a large set...
146
click to vote
ADBIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...
133
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...
171
Voted
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
132
click to vote
SAMOS
2004
Springer
15 years 10 months ago
2004
Springer
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...