Sciweavers

3653 search results - page 180 / 731
» Learning of Partial Languages
Sort
View
135
Voted
ICDAR
2003
IEEE
15 years 9 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
94
Voted
ICGI
2000
Springer
15 years 7 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
112
Voted
UM
2001
Springer
15 years 8 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
267
Voted
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 7 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
119
Voted
COLT
2007
Springer
15 years 10 months 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