Sciweavers

762 search results - page 8 / 153
» Intercode Regular Languages
Sort
View
125
Voted
PODS
2010
ACM
170views Database» more  PODS 2010»
15 years 8 months ago
Simplifying XML schema: single-type approximations of regular tree languages
XML Schema Definitions (XSDs) can be adequately abstracted by the single-type regular tree languages. It is wellknown, that these form a strict subclass of the robust class of re...
Wouter Gelade, Tomasz Idziaszek, Wim Martens, Fran...
119
Voted
CORR
2011
Springer
170views Education» more  CORR 2011»
14 years 10 months ago
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
We investigate (quantifier-free) spatial constraint languages with equality, contact and connectedness predicates, as well as Boolean operations on regions, interpreted over low-...
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann,...
106
Voted
ICALP
1998
Springer
15 years 8 months ago
The Regular Real-Time Languages
Thomas A. Henzinger, Jean-François Raskin, ...
93
Voted
ICFP
2000
ACM
15 years 8 months ago
Regular expression types for XML
Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
118
Voted
CLEF
2003
Springer
15 years 9 months ago
Regular Sound Changes for Cross-Language Information Retrieval
The aim of this project is the automatic conversion of query terms in one language into their equivalents in a second, historically related, language, so that documents in the sec...
Michael P. Oakes, Souvik Banerjee