2896 search results - page 191 / 580 » Curricula Modeling and Checking |
89
Voted
ECEASST
2010
15 years 2 months ago
2010
150
click to vote
TOCL
2011
15 years 1 hour 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...
163
Voted
MEMICS
2010
14 years 12 months ago
2010
141
click to vote
IUI
1997
ACM
15 years 9 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...