1288 search results - page 212 / 258 » Visual Generalization in Programming by Example |
115
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
Motivated by the performance improvements made to SAT solvers in recent years, a number of different encodings of constraints into SAT have been proposed. Concrete examples are th...
108
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
The problem of how to acquire a model of a physical robot, which is fit for evolution of controllers that can subsequently be used to control that robot, is considered in the con...
109
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
113
click to vote
ECLIPSE
2006
ACM
15 years 8 months ago
2006
ACM
Producing usable documentation has always been a tedious task, and even communicating important knowledge about a system among collaborators is difficult. This paper describes an ...
135
click to vote
VALUETOOLS
2006
ACM
15 years 8 months ago
2006
ACM
Min-max functions are dynamic programming operators of zero-sum deterministic games with finite state and action spaces. The problem of computing the linear growth rate of the or...