2253 search results - page 64 / 451 » Computing with Realizational Morphology |
136
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
110
click to vote
COLING
1994
15 years 5 months ago
1994
t This paper describes how recent linguistic results in explaining Japanese short and long distance scram hling (:an be directly incorporated into an existing principles-and-parame...
141
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
128
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
In the beginning, one of the main fields of application of graph transformation was biology, and more specifically morphology. Later, however, it was like if the biological appli...
126
click to vote
ACL
2010
15 years 2 months ago
2010
We present a novel fully unsupervised algorithm for POS induction from plain text, motivated by the cognitive notion of prototypes. The algorithm first identifies landmark cluster...