1702 search results - page 9 / 341 » Doomed program points |
AGP
1993
IEEE
15 years 1 months ago
1993
IEEE
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...
SIAMJO
2002
14 years 9 months ago
2002
This paper proposes a new predictor-corrector interior-point method for a class of semidefinite programs, which numerically traces the central trajectory in a space of Lagrange mul...
ARITH
2007
IEEE
15 years 3 months ago
2007
IEEE
IEAAIE
2009
Springer
15 years 2 months ago
2009
Springer
GECCO
2006
Springer
15 years 1 months ago
2006
Springer