Sciweavers

612 search results - page 39 / 123
» A Computational Grammar for Georgian
Sort
View
FPCA
1995
15 years 5 months ago
Constructing Functional Programs for Grammar Analysis Problems
This paper discusses the derivation of functional programs for grammar analysis problems, such as the Empty problem and the Reachable problem. Grammar analysis problems can be div...
Johan Jeuring, S. Doaitse Swierstra
MFCS
2004
Springer
15 years 6 months ago
The Dual of Concatenation
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
Alexander Okhotin
ESOP
2010
Springer
15 years 4 months ago
TRX: A Formally Verified Parser Interpreter
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...
Adam Koprowski, Henri Binsztok
ACL
2000
15 years 2 months ago
Diagnostic Processing of Japanese for Computer-Assisted Second Language Learning
As an application of NLP to computer-assisted language learning(CALL) , we propose a diagnostic processing of Japanese being able to detect errors and inappropriateness of sentenc...
Jun'ichi Kakegawa, Hisayuki Kanda, Eitaro Fujioka,...
ACL
2012
13 years 3 months ago
Higher-order Constituent Parsing and Parser Combination
This paper presents a higher-order model for constituent parsing aimed at utilizing more local structural context to decide the score of a grammar rule instance in a parse tree. E...
Xiao Chen, Chunyu Kit