1999 search results - page 50 / 400 » Dependently Typed Grammars |
100
click to vote
SOFSEM
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In this paper we describe an e cient and scalable implementation for grammar induction based on the EMILE approach ( 2], 3], 4], 5], 6]). The current EMILE 4.1 implementa...
105
click to vote
IJDAR
2006
15 years 1 months ago
2006
Structure analysis of table form documents is an important issue because a printed document and even an electronic document do not provide logical structural information but merely...
LREC
2010
15 years 3 months ago
2010
In Natural Language Processing (NLP), the quality of a system depends to a great extent on the quality of the linguistic resources it uses. Due to the unpredictable character of v...
113
click to vote
HASKELL
2008
ACM
15 years 3 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
TYPES
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...