Sciweavers

762 search results - page 8 / 153
» Intercode Regular Languages
Sort
View
PODS
2010
ACM
170views Database» more  PODS 2010»
15 years 2 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...
CORR
2011
Springer
170views Education» more  CORR 2011»
14 years 4 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,...
ICALP
1998
Springer
15 years 1 months ago
The Regular Real-Time Languages
Thomas A. Henzinger, Jean-François Raskin, ...
ICFP
2000
ACM
15 years 1 months ago
Regular expression types for XML
Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce
CLEF
2003
Springer
15 years 2 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