Sciweavers

1423 search results - page 177 / 285
» Interpreting distributed ontologies
Sort
View
TLDI
2003
ACM
135views Formal Methods» more  TLDI 2003»
14 years 2 months ago
Typed compilation of recursive datatypes
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, K...
PODS
2010
ACM
150views Database» more  PODS 2010»
14 years 2 months ago
Understanding queries in a search database system
It is well known that a search engine can significantly benefit from an auxiliary database, which can suggest interpretations of the search query by means of the involved concep...
Ronald Fagin, Benny Kimelfeld, Yunyao Li, Sriram R...
WWW
2005
ACM
14 years 10 months ago
G-ToPSS: fast filtering of graph-based metadata
RDF is increasingly being used to represent metadata. RDF Site Summary (RSS) is an application of RDF on the Web that has considerably grown in popularity. However, the way RSS sy...
Milenko Petrovic, Haifeng Liu, Hans-Arno Jacobsen
WWW
2005
ACM
14 years 10 months ago
A publish and subscribe collaboration architecture for web-based information
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages, such as the Extensible Mark...
M. Brian Blake, David H. Fado, Gregory A. Mack
WWW
2003
ACM
14 years 10 months ago
Integrating Adaptive Hypermedia Techniques and Open RDF-based Environments
The World Wide Web has not only revolutionized the area of traditional hypermedia, it is also starting to influence adaptive hypermedia research. The main feature of the World Wid...
Peter Dolog, Rita Gavriloaie, Wolfgang Nejdl, Jan ...