Sciweavers

1235 search results - page 56 / 247
» Structured Meanings in Computational Linguistics
Sort
View
COLING
2010
15 years 1 months ago
An Efficient Shift-Reduce Decoding Algorithm for Phrased-Based Machine Translation
In statistical machine translation, decoding without any reordering constraint is an NP-hard problem. Inversion Transduction Grammars (ITGs) exploit linguistic structure and can w...
Yang Feng, Haitao Mi, Yang Liu, Qun Liu
FP
1995
110views Formal Methods» more  FP 1995»
15 years 9 months ago
Using Types to Parse Natural Language
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...
Mark P. Jones, Paul Hudak, Sebastian Shaumyan
ACL
1989
15 years 7 months ago
A Three-Valued Interpretation of Negation in Feature Structure Descriptions
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
Anuj Dawar, K. Vijay-Shanker
AAMAS
2002
Springer
15 years 6 months ago
Situated Cognition and the Role of Multi-agent Models in Explaining Language Structure
Abstract. How and where are the universal features of language specified? We consider language users as situated agents acting as conduits for the cultural transmission of language...
Henry Brighton, Simon Kirby, Kenny Smith
ACL2
2006
ACM
15 years 10 months ago
Quantification in tail-recursive function definitions
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
Sandip Ray