Sciweavers

2728 search results - page 352 / 546
» The EGTV Query Language
Sort
View
175
Voted
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 19 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
16 years 9 days 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
218
Voted
CLEF
2005
Springer
16 years 19 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