Sciweavers

1999 search results - page 59 / 400
» Dependently Typed Grammars
Sort
View
ACL
2003
15 years 7 months ago
A Computational Treatment of Korean Temporal Markers, OE and DONGAN
In this paper, we elucidate how Korean temporal markers, OE and DONGAN contribute to specifying the event time and formalize it in terms of typed lambda calculus. We also present ...
Hyunjung Son
JOLLI
2010
84views more  JOLLI 2010»
15 years 4 months ago
Exploring Feature Agreement in French with Parallel Pregroup Computations
One way of coping with agreement of features in French is to perform two parallel computations, one in the free pregroup of syntactic types, the other in that of feature types. Tec...
Joachim Lambek
ECML
2003
Springer
15 years 11 months ago
Learning Context Free Grammars in the Limit Aided by the Sample Distribution
We present an algorithm for learning context free grammars from positive structural examples (unlabeled parse trees). The algorithm receives a parameter in the form of a finite se...
Yoav Seginer
JUCS
2007
146views more  JUCS 2007»
15 years 6 months ago
Ontology and Grammar of the SOPHIE Choreography Conceptual Framework - An Ontological Model for Knowledge Management
: Ontologies have been recognized as a fundamental infrastructure for advanced approaches to Knowledge Management (KM) automation in SOA. Building services communicate with each ot...
Sinuhé Arroyo
JMLR
2010
143views more  JMLR 2010»
15 years 28 days ago
Incremental Sigmoid Belief Networks for Grammar Learning
We propose a class of Bayesian networks appropriate for structured prediction problems where the Bayesian network's model structure is a function of the predicted output stru...
James Henderson, Ivan Titov