Sciweavers

3634 search results - page 449 / 727
» The Field Representation Language
Sort
View
COLING
1990
15 years 7 months ago
A Syntactic and Morphological Analyzer for a Text-to-Speech System
This paper presents a system which analyzes an in'put text syntactically and morphologically and converts the text from the graphemic to the phonetic :representation (or vice...
Thomas Russi
COLING
1992
15 years 7 months ago
Knowledge Acquisition And Chinese Parsing Based On Corpus
In Natural Language Processing (NLP), one key problem is how to design a robust and effective parsing system. In this paper, we will introduce a corpm- based Chinese parsing syste...
Chunfa Yuan, Changning Huang, Shimei Pan
MSCS
2006
89views more  MSCS 2006»
15 years 6 months ago
Quantum weakest preconditions
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...
Ellie D'Hondt, Prakash Panangaden
ENTCS
2000
123views more  ENTCS 2000»
15 years 6 months ago
Defining Standard Prolog in Rewriting Logic
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...
Marija Kulas, Christoph Beierle
ENTCS
2002
108views more  ENTCS 2002»
15 years 6 months ago
Rewriting in the partial algebra of typed terms modulo AC
We study the partial algebra of typed terms with an associative commutative and idempotent operator (typed AC-terms). The originality lies in the representation of the typing poli...
Thomas Colcombet