12452 search results - page 2127 / 2491 » An exploration of program as language |
199
click to vote
LFCS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
148
click to vote
UM
2007
Springer
16 years 25 days ago
2007
Springer
Despite the growing popularity of user modeling servers, little attention has been paid to optimizing and evaluating the performance of these servers. We argue that implementation ...
190
click to vote
UM
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Recommender systems produce social networks as a side effect of predicting what users will like. However, the potential for these social networks to aid in recommending i...
173
click to vote
UM
2007
Springer
16 years 25 days ago
2007
Springer
In the classroom, teachers know how to motivate their students and how to exploit this knowledge to adapt or optimize their instruction when a student shows signs of demotivation. ...
138
Voted
UM
2007
Springer
16 years 25 days 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...