Sciweavers

8197 search results - page 102 / 1640
» Adaptive functional programming
Sort
View
83
Voted
TOCL
2010
73views more  TOCL 2010»
15 years 27 days ago
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
Thomas Eiter, Mantas Simkus
ISW
2004
Springer
15 years 8 months ago
How to Break and Repair a Universally Composable Signature Functionality
Abstract. Canetti and Rabin recently proposed a universally composable ideal functionality FSIG for digital signatures. We show that this functionality cannot be securely realized ...
Michael Backes, Dennis Hofheinz
230
Voted
PLDI
2009
ACM
16 years 3 months ago
Sharing classes between families
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...
Xin Qi, Andrew C. Myers
114
Voted
ALT
2003
Springer
15 years 11 months ago
Intrinsic Complexity of Uniform Learning
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...
Sandra Zilles
UIST
1994
ACM
15 years 6 months ago
Evolutionary Learning of Graph Layout Constraints from Examples
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...
Toshiyuki Masui