4716 search results - page 428 / 944 » Tangible functional programming |
183
click to vote
JAIR
2006
15 years 6 months ago
2006
Efficient representations and solutions for large decision problems with continuous and discrete variables are among the most important challenges faced by the designers of automa...
197
click to vote
LISP
2008
15 years 6 months ago
2008
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
174
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
: This work proposes a systematic methodology for the optimal selection of controller parameters, in the sense of minimizing a performance index which is a quadratic function of th...
221
click to vote
ENTCS
2002
15 years 6 months ago
2002
The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...
191
click to vote
JCO
2010
15 years 5 months ago
2010
We study the extremal parameter N(n, m, H) which is the largest number of copies of a hypergraph H that can be formed of at most n vertices and m edges. Generalizing previous work...