2474 search results - page 18 / 495 » Learning Languages in a Union |
TAMC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Formal language learning models have been widely investigated in the last four decades. But it was not until recently that the model of learning from corrections was intr...
ESOP
2007
Springer
14 years 2 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
CSL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are reco...
JUCS
2006
13 years 8 months ago
2006
: We cast a new look on time-varying distributed H systems. In their original definition, where only new strings are passed to the next component, this language definition in itsel...
COGSCI
2007
13 years 8 months ago
2007
Languages are transmitted from person to person and generation to generation via a process of iterated learning: people learn a language from other people who once learned that la...