3713 search results - page 176 / 743 » Constructing a Calculus of Programs |
117
click to vote
OL
2008
15 years 3 months ago
2008
By introducing redundant Klee-Minty examples, we have previously shown that the central path can be bent along the edges of the Klee-Minty cubes, thus having 2n - 2 sharp turns in...
137
Voted
GPEM
2002
15 years 3 months ago
2002
In this paper we use genetic programming for changing the representation of the input data for machine learners. In particular, the topic of interest here is feature construction i...
138
Voted
ECEASST
2006
15 years 3 months ago
2006
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
249
Voted
SIGMOD
2005
ACM
16 years 3 months ago
2005
ACM
: Workflow systems often present the user with rich interfaces that express all the capabilities and complexities of the application programs and the computing environments that th...
119
Voted
ASWEC
2008
IEEE
15 years 10 months ago
2008
IEEE
The past ten years have seen a radical shift in business application software development. Rather than developing software from scratch using a conventional programming language, ...