15421 search results - page 113 / 3085 » Dependability |
TYPES
2000
Springer
14 years 12 days ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...
VLDB
1987
ACM
14 years 10 days ago
1987
ACM
In a context considering in a unique framework all the relations in a database, by means of the notion of global consistency, independent database schemes allow enforcement of con...
ACL
2008
13 years 10 months ago
2008
Previous studies of data-driven dependency parsing have shown that the distribution of parsing errors are correlated with theoretical properties of the models used for learning an...
COLING
2008
13 years 10 months ago
2008
This paper studies the role of base-NP information in dependency parsing for Thai. The baseline performance reveals that the base-NP chunking task for Thai is much more difficult ...
LREC
2010
13 years 10 months ago
2010
In this paper, we describe our hybrid parsing model on Mandarin Chinese processing. The model combines the mainstream constitute and dependency parsing and the dataset we use it t...