Sciweavers

1999 search results - page 55 / 400
» Dependently Typed Grammars
Sort
View
LREC
2010
157views Education» more  LREC 2010»
15 years 3 months ago
Syntactic Dependencies for Multilingual and Multilevel Corpus Annotation
The relevance of syntactic dependency annotated corpora is nowadays unquestioned. However, a broad debate on the optimal set of dependency relation tags did not take place yet. As...
Simon Mille, Leo Wanner
BIRTHDAY
2003
Springer
15 years 7 months ago
Using Alternating Words to Describe Symbolic Pictures
In this paper we present the concepts of drawn symbolic picture and symbolic picture. Such notions have been conceived as an extension of the concept of drawn pictures which was i...
Gennaro Costagliola, Vincenzo Deufemia, Filomena F...
FINTAL
2006
15 years 5 months ago
A Computational Implementation of Internally Headed Relative Clause Constructions
The so-called Internally Headed Relative Clause (IHRC) construction found in the head-final languages Korean and Japanese has received little attention from computational perspecti...
Jong-Bok Kim, Peter Sells, Jaehyung Yang
FSMNLP
2005
Springer
15 years 7 months ago
An FST Grammar for Verb Chain Transfer in a Spanish-Basque MT System
Abstract. We are working on the construction of a Spanish-Basque (eseu) machine translation tool using the traditional transfer model based on shallow and dependency parsing. Spani...
Iñaki Alegria, Arantza Díaz de Ilarr...
SCP
2010
155views more  SCP 2010»
15 years 11 days ago
Type inference and strong static type checking for Promela
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
Alastair F. Donaldson, Simon J. Gay