675 search results - page 73 / 135 » On Compression of Parse Trees |
ACL
2006
13 years 10 months ago
2006
This paper describes the development of QuestionBank, a corpus of 4000 parseannotated questions for (i) use in training parsers employed in QA, and (ii) evaluation of question par...
ECMDAFA
2008
Springer
13 years 10 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
ACL
2004
13 years 10 months ago
2004
This paper shows how finite approximations of long distance dependency (LDD) resolution can be obtained automatically for wide-coverage, robust, probabilistic Lexical-Functional G...
CAV
2012
Springer
11 years 11 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
ICASSP
2011
IEEE
13 years 14 days ago
2011
IEEE
In this paper we study various chain codes, which are representations of binary image contours, in terms of their ability to compress in the best way the contour information using...