4767 search results - page 538 / 954 » Structures for Abstract Rewriting |
163
Voted
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
176
click to vote
CLEF
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper provides baseline results for the medical automatic annotation task of CLEF 2007 by applying the image retrieval in medical applications (IRMA)-based algorithm...
179
Voted
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
187
click to vote
DEXA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The problem of storing and querying XML data using relational databases has been considered a lot and many techniques have been developed. MXML is an extension of XML sui...
152
click to vote
DEXA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we provide a full-scale evaluation of a cluster-based architecture for P2P IR, focusing on retrieval effectiveness. We observe that there is a significant ...