Sciweavers

643 search results - page 29 / 129
» Parsing And Derivational Equivalence
Sort
View
LACL
2005
Springer
14 years 1 months ago
Strict Deterministic Aspects of Minimalist Grammars
The Minimalist Grammars (MGs) proposed by Stabler(1997) have tree-shaped derivations (Harkema, 2001b; Michaelis, 2001a). As in categorial grammars, each lexical item is an associat...
John T. Hale, Edward P. Stabler
LICS
2006
IEEE
14 years 1 months ago
Saturated Semantics for Reactive Systems
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
Filippo Bonchi, Barbara König, Ugo Montanari
CONCUR
2004
Springer
13 years 11 months ago
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
Antonín Kucera, Ph. Schnoebelen
ORL
2008
77views more  ORL 2008»
13 years 7 months ago
A risk-averse newsvendor with law invariant coherent measures of risk
For general law invariant coherent measures of risk, we derive an equivalent representation of a risk-averse newsvendor problem as a meanrisk model. We prove that the higher the w...
Sungyong Choi, Andrzej Ruszczynski
ACL
1996
13 years 8 months ago
On Reversing the Generation Process in Optimality Theory
Optimality Theory, a constraint-based phonology and morphology paradigm, has allowed linguists to make elegant analyses of many phenomena, including infixation and reduplication. ...
J. Eric Fosler