1173 search results - page 40 / 235 » Program Derivation Using Analogy |
IOR
2010
13 years 8 months ago
2010
This paper introduces disjunctive decomposition for two-stage mixed 0-1 stochastic integer programs (SIPs) with random recourse. Disjunctive decomposition allows for cutting plane...
LPNMR
2009
Springer
14 years 4 months ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
PAMI
2008
13 years 10 months ago
2008
This paper develops a theory of frequency domain invariants in computer vision. We derive novel identities using spherical harmonics, which are the angular frequency domain analog ...
FUIN
2006
13 years 10 months ago
2006
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., vi...
WCE
2007
13 years 11 months ago
2007
—The genetic programming approach is applied to the problem of aircraft autolanding, subject to wind disturbances. The derived control law is tested successfully, using a lineari...