Sciweavers

107 search results - page 1 / 22
» A Statistical Theory of Dependency Syntax
Sort
View
COLING
2000
13 years 6 months ago
A Statistical Theory of Dependency Syntax
A generative statistical model of dependency syntax is proposed based on 'l'csniSre's classical theory. It provides a stochastic formalization of the original model...
Christer Samuelsson
NIPS
2004
13 years 6 months ago
Integrating Topics and Syntax
Statistical approaches to language learning typically focus on either short-range syntactic dependencies or long-range semantic dependencies between words. We present a generative...
Thomas L. Griffiths, Mark Steyvers, David M. Blei,...
CSL
2000
Springer
13 years 9 months ago
Interactive Programs in Dependent Type Theory
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
Peter Hancock, Anton Setzer
ACL
1998
13 years 6 months ago
Formal Aspects and Parsing Issues of Dependency Theory
The paper investigates the problem of providing a formal device for the dependency approach to syntax, and to link it with a parsing model. After reviewing the basic tenets of the...
Vincenzo Lombardo, Leonardo Lesmo
ENTCS
2008
128views more  ENTCS 2008»
13 years 4 months ago
Towards Formalizing Categorical Models of Type Theory in Type Theory
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
Alexandre Buisse, Peter Dybjer