1246 search results - page 97 / 250 » Online testing with model programs |
61
Voted
WSC
2004
15 years 2 months ago
2004
This paper describes the validation of the Enlisted Grade model gradebreaks and describes a current application of simulation in operations research. The Enlisted Grade model is p...
109
click to vote
ENTCS
2006
15 years 24 days ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
105
click to vote
UM
2007
Springer
15 years 7 months ago
2007
Springer
Student models for Intelligent Computer Assisted Language Learning (ICALL) have largely focused on the acquisition of grammatical structures. In this paper, we motivate a broader p...
112
Voted
SSPR
2000
Springer
15 years 4 months ago
2000
Springer
Our research focuses on Chinese online ink matching that tries to match handwritten annotations with handwritten queries without attempting to recognize them. Previously, we propos...
102
click to vote
AUTOMATICA
2005
15 years 21 days ago
2005
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...