Sciweavers

3653 search results - page 180 / 731
» Learning of Partial Languages
Sort
View
ICDAR
2003
IEEE
15 years 11 months ago
Learning the lexicon from raw texts for open-vocabulary Korean word recognition
In this paper, we propose a novel method of building a language model for open-vocabulary Korean word recognition. Due to the complex morphology of Korean, it is inappropriate to ...
Sungho Ryu, Jin Hyung Kim
ICGI
2000
Springer
15 years 10 months ago
Counting Extensional Differences in BC-Learning
Let BC be the model of behaviourally correct function learning as introduced by B
Frank Stephan, Sebastiaan Terwijn
UM
2001
Springer
15 years 11 months ago
Investigating Students' Self-Assessment Skills
: Student modeling approaches predominantly focus on modeling student knowledge. For effective learning, however, it is necessary to teach students how to learn, as well as to prov...
Antonija Mitrovic
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 10 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
COLT
2007
Springer
16 years 19 days ago
U-Shaped, Iterative, and Iterative-with-Counter Learning
This paper solves an important problem left open in the literature by showing that U-shapes are unnecessary in iterative learning. A U-shape occurs when a learner first learns, t...
John Case, Samuel E. Moelius