Sciweavers

1011 search results - page 73 / 203
» Numerical Constraints for XML
Sort
View
PLANX
2007
15 years 7 months ago
XPath Typing Using a Modal Logic with Converse for Finite Trees
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
Pierre Genevès, Nabil Layaïda, Alan Sc...
ECWEB
2004
Springer
148views ECommerce» more  ECWEB 2004»
15 years 11 months ago
OCL-Constraints for UMM Business Collaborations
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
Birgit Hofreiter, Christian Huemer, Werner Winiwar...
LREC
2010
150views Education» more  LREC 2010»
15 years 7 months ago
Eslo: From Transcription to Speakers' Personal Information Annotation
This paper presents the preliminary works to put online a French oral corpus and its transcription. This corpus is the Socio-Linguistic Survey in Orleans, realized in 1968. First,...
Iris Eshkol, Denis Maurel, Nathalie Friburger
CN
2000
88views more  CN 2000»
15 years 6 months ago
JavaML: a markup language for Java source code
The classical plain-text representation of source code is convenient for programmers but requires parsing to uncover the deep structure of the program. While sophisticated softwar...
Greg J. Badros
ADC
2010
Springer
210views Database» more  ADC 2010»
15 years 1 months ago
Towards unifying advances in twig join algorithms
Twig joins are key building blocks in current XML indexing systems, and numerous algorithms and useful data structures have been introduced. We give a structured, qualitative anal...
Nils Grimsmo, Truls Amundsen Bjørklund