8197 search results - page 102 / 1640 » Adaptive functional programming |
TOCL
2010
15 years 2 months ago
2010
128
click to vote
ISW
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Canetti and Rabin recently proposed a universally composable ideal functionality FSIG for digital signatures. We show that this functionality cannot be securely realized ...
254
click to vote
PLDI
2009
ACM
16 years 5 months ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
128
click to vote
ALT
2003
Springer
16 years 1 months ago
2003
Springer
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
120
click to vote
UIST
1994
ACM
15 years 8 months ago
1994
ACM
We propose a new evolutionary method of extracting user preferences from examples shown to an automatic graph layout system. Using stochastic methods such as simulated annealing a...