9067 search results - page 641 / 1814 » Adaptive Model Checking |
151
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
There has been increasing interest in using games for education, but little investigation of how to model student learning within games [cf. 6]. We investigate how existing techniq...
178
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Parallel Global Optimization Algorithms (PGOA) provide an efficient way of dealing with hard optimization problems. One method of parallelization of GOAs that is frequently applie...
190
click to vote
IS
2010
15 years 5 months ago
2010
Abstract—In this paper we present work on adaptive identification of learners’ strategies, gradually developing a higher level of adaptation based on evolving models of mathem...
236
Voted
ACL
2012
13 years 9 months ago
2012
Statistical machine translation is often faced with the problem of combining training data from many diverse sources into a single translation model which then has to translate se...
172
click to vote
ICAC
2005
IEEE
16 years 26 days ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...