4940 search results - page 361 / 988 » On the Complexity of Universal Programs |
167
click to vote
CSL
2005
Springer
16 years 8 days ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
182
click to vote
EGC
2005
Springer
16 years 7 days ago
2005
Springer
We present a new approach to the grid technology that is based on federated databases and updatable views. Views are used in two ways: (1) as wrappers of local servers that adopt l...
158
Voted
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
A number of recent studies introduced meta-evolutionary strategies and successfully used them for solving problems in genetic programming. While individual results indicate possib...
180
click to vote
ICALP
2005
Springer
16 years 7 days ago
2005
Springer
d Abstract) MohammadReza Mousavi and Michel A. Reniers Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, The Netherlands Abstract. In this pa...
213
click to vote
GI
2004
Springer
16 years 3 days ago
2004
Springer
The model driven development is an interested area among software engineers as well as the agile development. In fact, combining model driven and agile practices is an interesting ...