Sciweavers

568 search results - page 35 / 114
» The Great Language Debate
Sort
View
LICS
1994
IEEE
15 years 3 months ago
A Multiple-Conclusion Meta-Logic
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
Dale Miller
PADL
2000
Springer
15 years 3 months ago
Transformation-by-Example for XML
Abstract. xml is a language for describing markup languages for structured data. A growing number of applications that process xml documents are transformers, i.e., programs that c...
Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Gr...
VLDB
2007
ACM
152views Database» more  VLDB 2007»
16 years 17 hour ago
Structured Materialized Views for XML Queries
The performance of XML database queries can be greatly enhanced by rewriting them using materialized views. We study the problem of rewriting a query using materialized views, whe...
Andrei Arion, Ioana Manolescu, Véronique Be...
ISMIS
2005
Springer
15 years 5 months ago
A Query Expression and Processing Technique for an XML Search Engine
Abstract. One of the virtues of XML is that it allows complex structures to be easily expressed. This allows XML to be used as an intermediate, neutral, and standard form for repre...
Wol-Young Lee, Hwan-Seung Yong
CICLING
2004
Springer
15 years 5 months ago
Experiments on the Construction of a Phonetically Balanced Corpus from the Web
The construction of a speech recognition system requires a recorded set of phrases to compute the pertinent acoustic models. This set of phrases must be phonetically rich and balan...
Luis Villaseñor Pineda, Manuel Montes-y-G&o...