4961 search results - page 385 / 993 » Homomorphism-Homogeneous Relational Structures |
150
click to vote
TOPLAS
1998
15 years 4 months ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
135
click to vote
TELSYS
2002
15 years 4 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
140
click to vote
VLDB
2002
ACM
15 years 4 months ago
2002
ACM
We present a novel framework for mapping between any combination of XML and relational schemas, in which a high-level, userspecified mapping is translated into semantically meanin...
146
click to vote
NAR
2007
15 years 4 months ago
2007
The AthaMap database generates a map of cisregulatory elements for the whole Arabidopsis thaliana genome. This database has been extended by new tools to identify common cis-regul...
155
click to vote
EKAW
2010
Springer
15 years 3 months ago
2010
Springer
Social Tagging Systems (STS) empower users to classify and organize resources and to improve the retrieval performance over the tagged resources. In this paper we argue that the po...