2896 search results - page 191 / 580 » Curricula Modeling and Checking |
179
Voted
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
180
Voted
TOCL
2011
15 years 1 months ago
2011
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the s...
202
Voted
IUI
1997
ACM
15 years 11 months ago
1997
ACM
Historically, efforts at user modelling in educational systems have tended to employ knowledge representations in which symbolic (or "linguistic") cognition is emphasize...