92 search results - page 19 / 19 » corr 1998 |
CORR
2012
Springer
12 years 6 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
CORR
1998
Springer
13 years 10 months ago
1998
Springer
In this paper we present the results of comparing a statistical tagger for German based on decision trees and a rule-based Brill-Tagger for German. We used the same training corpu...