4386 search results - page 745 / 878 » A Tamper-Resistant Programming Language System |
161
click to vote
CP
2007
Springer
16 years 19 days 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...
163
click to vote
UM
2007
Springer
16 years 17 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. ...
158
Voted
UM
2007
Springer
16 years 17 days 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...
194
click to vote
ICSM
2006
IEEE
16 years 14 days 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 ...
194
click to vote
ICALP
2005
Springer
15 years 12 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...