Sciweavers

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