Sciweavers

1999 search results - page 22 / 400
» Dependently Typed Grammars
Sort
View
115
Voted
FCT
2005
Springer
15 years 7 months ago
Leftist Grammars and the Chomsky Hierarchy
Leftist grammars can be characterized in terms of rules of the form a → ba and cd → d, without distinction between terminals and nonterminals. They were introduced by Motwani e...
Tomasz Jurdzinski, Krzysztof Lorys
113
Voted
IJCAI
1997
15 years 3 months ago
Charts, Interaction-free Grammars, and the Compact Representation of Ambiguity
Recently researchers working in the LFG framework have proposed algorithms for taking advantage of the implicit context-free components of a unification grammar [Maxwell and Kapla...
Marc Dymetman
161
Voted
TOCL
2012
235views Formal Methods» more  TOCL 2012»
13 years 4 months ago
Topological and Simplicial Models of Identity Types
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
Benno van den Berg, Richard Garner
84
Voted
CSL
2000
Springer
15 years 6 months ago
Continuous Functionals of Dependent Types and Equilogical Spaces
We show that dependent sums and dependent products of continuous parametrizations on domains with dense, codense, and natural totalities agree with dependent sums and dependent pro...
Andrej Bauer, Lars Birkedal
109
Voted
ACL
2006
15 years 3 months ago
Hybrid Parsing: Using Probabilistic Models as Predictors for a Symbolic Parser
In this paper we investigate the benefit of stochastic predictor components for the parsing quality which can be obtained with a rule-based dependency grammar. By including a chun...
Kilian A. Foth, Wolfgang Menzel