6432 search results - page 345 / 1287 » Classic Mechanism Design |
173
click to vote
COLT
2001
Springer
15 years 11 months ago
2001
Springer
A classical learning problem in Inductive Inference consists of identifying each function of a given class of recursive functions from a finite number of its output values. Unifor...
229
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
194
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
151
click to vote
SDM
2007
SIAM
15 years 8 months ago
2007
SIAM
Data perturbation is a popular technique for privacypreserving data mining. The major challenge of data perturbation is balancing privacy protection and data quality, which are no...
177
click to vote
PR
2007
15 years 6 months ago
2007
In this paper, we propose a new constructive method, based on cooperative coevolution, for designing automatically the structure of a neural network for classification. Our appro...