2000 search results - page 57 / 400 » The Dynamics of Syntactic Knowledge |
130
click to vote
FASE
2009
Springer
16 years 8 days ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
243
click to vote
FIDJI
2004
Springer
15 years 11 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
126
click to vote
ECAL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Recent work in the field of computational evolutionary linguistics suggests that the dynamics arising from the cultural evolution of language can explain the emergence o...
149
Voted
LISP
2002
15 years 5 months ago
2002
We investigate call-by-value continuation-passing style transforms that continuations. Altering a single variable in the translation of -abstraction gives rise to different control...
181
click to vote
IJCAI
1997
15 years 6 months ago
1997
In the dynamical systems approach to robot path planning both sensed and remembered information contribute to shape a nonlinear vector eld that governs the behavior of an autonomo...