615 search results - page 9 / 123 » High-Level Nondeterministic Abstractions in |
174
click to vote
SAMT
2007
Springer
16 years 1 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...
206
Voted
ADBIS
2004
Springer
16 years 16 days 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...
191
click to vote
GG
2004
Springer
16 years 16 days 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...
233
click to vote
IFM
2004
Springer
16 years 15 days 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...
182
Voted
SAMOS
2004
Springer
16 years 14 days 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...