Sciweavers

2728 search results - page 352 / 546
» The EGTV Query Language
Sort
View
RWEB
2009
Springer
16 years 1 months ago
Logical Foundations of XML and XQuery
XML is the underlying representation formalism of much web-data. Thus to reason about web-data essentially boils down to reasoning about data in XML format. In this course the stud...
Maarten Marx
ER
2005
Springer
94views Database» more  ER 2005»
16 years 3 days ago
Topological Relationships Between Complex Lines and Complex Regions
Abstract. Topological relationships between spatial objects in the twodimensional space have been investigated for a long time in a number of disciplines like artificial intellige...
Markus Schneider, Thomas Behr
ICALP
2003
Springer
15 years 11 months ago
Oracle Circuits for Branching-Time Model Checking
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
Ph. Schnoebelen
VLDB
1991
ACM
113views Database» more  VLDB 1991»
15 years 10 months ago
Implementing Set-Oriented Production Rules as an Extension to Starburst
This paper describes the implementation of a set-oriented database production rule language proposed in earlier papers. Our implementation uses the extensibility features of the St...
Jennifer Widom, Roberta Cochrane, Bruce G. Lindsay
CLEF
2005
Springer
16 years 3 days ago
Thomson Legal and Regulatory Experiments at CLEF-2005
For the 2005 Cross-Language Evaluation Forum, Thomson Legal and Regulatory participated in the Hungarian, French, and Portuguese monolingual search tasks as well as French-to-Port...
Isabelle Moulinier, Ken Williams