Sciweavers

5748 search results - page 824 / 1150
» Contexts for the Semantic Web
Sort
View
ICDT
2003
ACM
125views Database» more  ICDT 2003»
16 years 23 hour ago
XPath Containment in the Presence of Disjunction, DTDs, and Variables
XPath is a simple language for navigating an XML tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various fragm...
Frank Neven, Thomas Schwentick
MKM
2009
Springer
15 years 11 months ago
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing, in which an object of interest is viewed in terms of ...
Andrea Kohlhase, Michael Kohlhase
TSD
1999
Springer
15 years 11 months ago
Handling Word Order in a Multilingual System for Generation of Instructions
Slavic languages are characteristic by their relatively high degree of word order freedom. In the process of automatic generation from an underlying representation of the content, ...
Ivana Kruijff-Korbayová, Geert-Jan M. Kruij...
DL
1998
Springer
120views Digital Library» more  DL 1998»
15 years 11 months ago
Conjunctive Constraint Mapping for Data Translation
In this paper we present a mechanism for translating information in heterogeneous digital library environments. We model information as a set of conjunctive constraints that are s...
Kevin Chen-Chuan Chang, Hector Garcia-Molina
LICS
1989
IEEE
15 years 11 months ago
Faithful Ideal Models for Recursive Polymorphic Types
We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yiel...
Martín Abadi, Benjamin C. Pierce, Gordon D....