Sciweavers

27119 search results - page 299 / 5424
» Languages
Sort
View
CAV
2010
Springer
181views Hardware» more  CAV 2010»
15 years 10 months ago
Bounded Underapproximations
We show a new and constructive proof of the following language-theoretic result: for every context-free language L, there is a bounded context-free language L L which has the same...
Pierre Ganty, Rupak Majumdar, Benjamin Monmege
DLT
2003
15 years 8 months ago
On a Conjecture of Schnoebelen
The notion of sequential and parallel decomposition of a language over a set of languages was introduced by Schnoebelen. A language is decomposable if it belongs to a finite set ...
Antonio Cano Gómez, Jean-Eric Pin
COLING
2010
15 years 1 months ago
Notes on the Evaluation of Dependency Parsers Obtained Through Cross-Lingual Projection
In this paper we address methodological issues in the evaluation of a projectionbased framework for dependency parsing in which annotations for a source language are transfered to...
Kathrin Spreyer
ICFP
2004
ACM
16 years 6 months ago
Implementing functional logic languages using multiple threads and stores
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...
Andrew P. Tolmach, Sergio Antoy, Marius Nita
CLEF
2003
Springer
15 years 12 months ago
Regular Sound Changes for Cross-Language Information Retrieval
The aim of this project is the automatic conversion of query terms in one language into their equivalents in a second, historically related, language, so that documents in the sec...
Michael P. Oakes, Souvik Banerjee