Sciweavers

6016 search results - page 1095 / 1204
» The semantics of graphical languages
Sort
View
CADE
2003
Springer
14 years 10 months ago
Source-Tracking Unification
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
Venkatesh Choppella, Christopher T. Haynes
SIGMOD
2007
ACM
125views Database» more  SIGMOD 2007»
14 years 10 months ago
Identifying meaningful return information for XML keyword search
Keyword search enables web users to easily access XML data without the need to learn a structured query language and to study possibly complex data schemas. Existing work has addr...
Ziyang Liu, Yi Chen
SIGMOD
2005
ACM
162views Database» more  SIGMOD 2005»
14 years 10 months ago
Clio grows up: from research prototype to industrial tool
Clio, the IBM Research system for expressing declarative schema mappings, has progressed in the past few years from a research prototype into a technology that is behind some of I...
Laura M. Haas, Mauricio A. Hernández, Howar...
SIGMOD
2004
ACM
163views Database» more  SIGMOD 2004»
14 years 10 months ago
FleXPath: Flexible Structure and Full-Text Querying for XML
Querying XML data is a well-explored topic with powerful databasestyle query languages such as XPath and XQuery set to become W3C standards. An equally compelling paradigm for que...
Sihem Amer-Yahia, Laks V. S. Lakshmanan, Shashank ...
SIGMOD
2003
ACM
146views Database» more  SIGMOD 2003»
14 years 10 months ago
The Piazza peer data management project
A major problem in today's information-driven world is that sharing heterogeneous, semantically rich data is incredibly difficult. Piazza is a peer data management system tha...
Igor Tatarinov, Zachary G. Ives, Jayant Madhavan, ...
« Prev « First page 1095 / 1204 Last » Next »