10575 search results - page 1773 / 2115 » T2Script Programming Language |
136
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
The paper deals with the numerical treatment of optimal control problems with bounded distributed controls and elliptic state equations by a wider class of barrier-penalty methods...
148
click to vote
IFM
2007
Springer
15 years 11 months 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...
151
click to vote
LFCS
2007
Springer
15 years 11 months 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...
118
click to vote
UM
2007
Springer
15 years 11 months 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 ...
139
click to vote
UM
2007
Springer
15 years 11 months 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...