5326 search results - page 417 / 1066 » On what we can ensure |
172
click to vote
LPE
1997
15 years 8 months ago
1997
Visualization can be a powerful aid for learning a programming language. It may be used to reinforce central language concepts. In the context of Prolog and CLP-languages, however...
185
click to vote
ICML
2010
IEEE
15 years 8 months ago
2010
IEEE
Transfer learning can be described as the tion of abstract knowledge from one learning domain or task and the reuse of that knowledge in a related domain or task. In categorizatio...
213
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
175
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
As the amount of online text increases, the demand for text classification to aid the analysis and management of text is increasing. Text is cheap, but information, in the form of...
169
click to vote
EC
2008
15 years 7 months ago
2008
We present a statistical model of empirical optimization that admits the creation of algorithms with explicit and intuitively defined desiderata. Because No Free Lunch theorems di...