The so called quick check (henceforth QC) preunification filter for feature structure (FS) unification was introduced by (Kiefer et al., 1999). QC is considered the most important speed-up technique in the framework of non-compiled FS unification. We present two potential ways in which the design of the quick check can be further extended: consistency sort check on coreferenced paths, and preun...

We present several significant improvements in the implementation of the quick check pre-unification filter [7] [10], and the potential way in which the design of the quick check [15] [17] can be further extended. We analyse the effect of these extensions on LinGO, the large-scale HPSG grammar for English[14]. Althought these developments were done for the compiler system LIGHT [8], most of the...

Preliminary notes The area of computer aided manufacturing in the field of chip machining still provides space for improvements in matters of selection of a suitable manufacturing strategy during creation of NC sequences. The paper analyzes current situation in solutions for milling strategies and importance of the selection of a suitable strategy from the viewpoint of several parameters. It al...

We investigated the efficacy of beam search parsing and deep parsing techniques in probabilistic HPSG parsing. We first tested the beam thresholding and iterative parsing. Next, we tested three techniques originally developed for deep parsing: quick check, large constituent inhibition, and hybrid parsing with a CFG chunk parser. The quick check, iterative parsing and hybrid parsing greatly cont...