10622 search results - page 1793 / 2125 » Python Programming Language |
192
click to vote
IFM
2007
Springer
16 years 25 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
197
click to vote
LFCS
2007
Springer
16 years 25 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...
147
click to vote
UM
2007
Springer
16 years 24 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 ...
189
click to vote
UM
2007
Springer
16 years 24 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...
172
click to vote
UM
2007
Springer
16 years 24 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. ...