4386 search results - page 745 / 878 » A Tamper-Resistant Programming Language System |
125
click to vote
CP
2007
Springer
15 years 9 months ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
117
click to vote
UM
2007
Springer
15 years 9 months 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. ...
111
click to vote
UM
2007
Springer
15 years 9 months ago
2007
Springer
Predictive user models often require a phase of effortful supervised training where cases are tagged with labels that represent the status of unobservable variables. We formulate a...
137
click to vote
ICSM
2006
IEEE
15 years 9 months ago
2006
IEEE
Programming languages provide various mechanisms to support information hiding. One problem with information hiding, however, is that providing a stable interface behind which to ...
143
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...