6960 search results - page 107 / 1392 » Continuity Analysis of Programs |
139
click to vote
EUROGP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Geometric Differential Evolution (GDE) is a very recently introduced formal generalization of traditional Differential Evolution (DE) that can be used to derive specific ...
141
click to vote
AGP
1996
IEEE
15 years 7 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
133
click to vote
PPPJ
2003
ACM
15 years 8 months ago
2003
ACM
We report on a continuing study into teaching programming to pre-teens school-children, with some as young as seven years old. As part of the study we aim to test childrens’ alg...
142
click to vote
LPNMR
1999
Springer
15 years 7 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
107
click to vote
MP
2002
15 years 2 months ago
2002
We consider a class of non-linear mixed integer programs with n integer variables and k continuous variables. Solving instances from this class to optimality is an NP-hard problem....