Sciweavers

3736 search results - page 22 / 748
» Generative Programming
Sort
View
EVOW
2007
Springer
14 years 2 months ago
Learning and Recognition of Hand-Drawn Shapes Using Generative Genetic Programming
We describe a novel method of evolutionary visual learning that uses generative approach for assessing learner’s ability to recognize image contents. Each learner, implemented as...
Wojciech Jaskowski, Krzysztof Krawiec, Bartosz Wie...
CEC
2010
IEEE
13 years 9 months ago
Generating a novel sort algorithm using Reinforcement Programming
Abstract-- Reinforcement Programming (RP) is a new approach to automatically generating algorithms, that uses reinforcement learning techniques. This paper describes the RP approac...
Spencer K. White, Tony R. Martinez, George L. Rudo...
ML
2002
ACM
167views Machine Learning» more  ML 2002»
13 years 8 months ago
Linear Programming Boosting via Column Generation
We examine linear program (LP) approaches to boosting and demonstrate their efficient solution using LPBoost, a column generation based simplex method. We formulate the problem as...
Ayhan Demiriz, Kristin P. Bennett, John Shawe-Tayl...
EOR
2010
88views more  EOR 2010»
13 years 8 months ago
Mathematical programming approaches for generating p-efficient points
Abstract: Probabilistically constrained problems, in which the random variables are finitely distributed, are nonconvex in general and hard to solve. The p-efficiency concept has b...
Miguel A. Lejeune, Nilay Noyan
TPHOL
1994
IEEE
14 years 21 days ago
Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
Peter V. Homeier, David F. Martin