Sciweavers

9444 search results - page 416 / 1889
» The Language Model LMNtal
Sort
View
LREC
2010
442views Education» more  LREC 2010»
15 years 8 months ago
Medefaidrin: Resources Documenting the Birth and Death Language Life-cycle
Language resources are typically defined and created for application in speech technology contexts, but the documentation of languages which are unlikely ever to be provided with ...
Dafydd Gibbon, Moses Ekpenyong, Eno-Abasi Urua
LREC
2010
206views Education» more  LREC 2010»
15 years 8 months ago
FreeLing 2.1: Five Years of Open-source Language Processing Tools
FreeLing is an open-source multilingual language processing library providing a wide range of language analyzers for several languages. It offers text processing and language anno...
Lluís Padró, Miquel Collado, Samuel ...
ICFP
2012
ACM
13 years 9 months ago
Proof-producing synthesis of ML from higher-order logic
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
Magnus O. Myreen, Scott Owens
AAAI
2008
15 years 9 months ago
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions
One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especia...
Chitta Baral, Juraj Dzifcak, Tran Cao Son
EMNLP
2010
15 years 4 months ago
Simple Type-Level Unsupervised POS Tagging
Part-of-speech (POS) tag distributions are known to exhibit sparsity -- a word is likely to take a single predominant tag in a corpus. Recent research has demonstrated that incorp...
Yoong Keok Lee, Aria Haghighi, Regina Barzilay