5255 search results - page 885 / 1051 » Formal Methods for Privacy |
138
click to vote
ALT
2007
Springer
15 years 10 months ago
2007
Springer
In transfer learning the aim is to solve new learning tasks using fewer examples by using information gained from solving related tasks. Existing transfer learning methods have be...
110
click to vote
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
143
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
126
Voted
ITICSE
2003
ACM
15 years 9 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
133
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...