Sciweavers

1836 search results - page 286 / 368
» Hierarchies for semantic classes
Sort
View
ADBIS
2004
Springer
111views Database» more  ADBIS 2004»
15 years 11 months ago
A High-Level Language for Specifying XML Data Transformations
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...
Tadeusz Pankowski
JELIA
2004
Springer
15 years 11 months ago
On the Relation Between ID-Logic and Answer Set Programming
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
Maarten Mariën, David Gilis, Marc Denecker
RTA
2004
Springer
15 years 11 months ago
TORPA: Termination of Rewriting Proved Automatically
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
Hans Zantema
168
Voted
SETN
2004
Springer
15 years 11 months ago
An Intelligent System for Aerial Image Retrieval and Classification
Content based image retrieval is an active research area of pattern recognition. A new method of extracting global texture energy descriptors is proposed and it is combined with fe...
Antonios Gasteratos, Panagiotis Zafeiridis, Ioanni...
FASE
2003
Springer
15 years 11 months ago
Modelling Recursive Calls with UML State Diagrams
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...
Jennifer Tenzer, Perdita Stevens