Sciweavers

1999 search results - page 23 / 400
» Dependently Typed Grammars
Sort
View
MFCS
2000
Springer
15 years 5 months ago
XML Grammars
Abstract. XML documents are described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properti...
Jean Berstel, Luc Boasson
SYNASC
2008
IEEE
267views Algorithms» more  SYNASC 2008»
15 years 8 months ago
Grammar-Based Automatic Extraction of Definitions
This paper presents part of our work in the LT4eL project [1] regarding the grammar developed by the Romanian team in order to extract definitions from texts. Some qualitative res...
Adrian Iftene, Ionut Pistol, Diana Trandabat
ECOOP
2003
Springer
15 years 7 months ago
A Nominal Theory of Objects with Dependent Types
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
Martin Odersky, Vincent Cremet, Christine Röc...
ACL
1989
15 years 3 months ago
A Transfer Model Using a Typed Feature Structure Rewriting System with Inheritance
We propose a model for transfer in machine translation which uses a rewriting system for typed feature structures. The grammar definitions describe transfer relations which are ap...
Rémi Zajac
IALP
2009
14 years 11 months ago
Improving the Performance of the Link Parser
The paper describes an approach to extend the coverage of a Link Grammar based parser on the constructions that are not being handled currently by the grammar. There are about thir...
Yalamanchi Viswanatha Naidu, Anil Kumar Singh, Dip...