2362 search results - page 112 / 473 » Programming in Standard ML |
118
Voted
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
We extend the propositional dynamic logic PDL of Fischer and Ladner with a restricted kind of recursive programs using the formalism of visibly pushdown automata (Alur, Madhusudan...
127
Voted
ICALT
2007
IEEE
15 years 5 months ago
2007
IEEE
In order to analyze the factors that raise the motivation of students in the art design faculty and digital design faculty to learn programming, a programming course using Process...
138
Voted
MP
2007
15 years 3 months ago
2007
We present a probabilistic analysis of integer linear programs (ILPs). More specifically, we study ILPs in a so-called smoothed analysis in which it is assumed that first an adve...
133
Voted
SIAMCO
2011
14 years 6 months ago
2011
Abstract. We prove a weak version of the dynamic programming principle for standard stochastic control problems and mixed control-stopping problems, which avoids the technical di...
143
Voted
EVOW
2009
Springer
15 years 10 months ago
2009
Springer
A developmental co-evolutionary genetic programming approach (PAM DGP) is compared to a standard linear genetic programming (LGP) implementation for trading of stocks across market...