234 search results - page 38 / 47 » On Quasi-Products of Tree Automata |
127
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
A large fraction of an XML document typically consists of text data. The XPath query language allows text search via the equal, contains, and starts-with predicates. Such predicate...
117
click to vote
WIA
2000
Springer
15 years 4 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
108
click to vote
DAGM
2008
Springer
15 years 3 months ago
2008
Springer
This paper introduces an novel framework for speech understanding using extended context-free grammars (ECFGs) by combining statistical methods and rule based knowledge. By only us...
117
click to vote
JAPLL
2010
14 years 11 months ago
2010
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
PODS
2004
ACM
16 years 1 months ago
2004
ACM
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...