1999 search results - page 80 / 400 » Dependently Typed Grammars |
174
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
: This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generali...
170
click to vote
VL
1999
IEEE
15 years 10 months ago
1999
IEEE
To take advantage of the ever-increasing volume of diagrams in electronic form, it is crucial that we have methods for parsing diagrams. Once a structured, content-based descripti...
194
click to vote
AIIA
1995
Springer
15 years 9 months ago
1995
Springer
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...
175
click to vote
ICDAR
1995
IEEE
15 years 9 months ago
1995
IEEE
This paper describes substantial advances in the analysis (parsing) of diagrams using constraint grammars. The addition of set types to the grammar and spatial indexing of the dat...
181
click to vote
LREC
2008
15 years 7 months ago
2008
We address here the need to assist users in rapidly accessing the most important or strategic information in the text corpus by identifying sentences carrying specific information...