Search Sciweavers | Sciweavers

1702 search results - page 9 / 341

» Doomed program points

150

click to vote

AGP
1993
IEEE

97views Artificial Intelligence» more AGP 1993»

A Note on Logic Programming Fixed-Point Semantics

15 years 10 months ago

Download eprints.ecs.soton.ac.uk

In this paper, we present an account of classical Logic Programming ﬁxed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...

Vladimiro Sassone

claim paper

Read More »

172

click to vote

SIAMJO
2002

96views more SIAMJO 2002»

Lagrangian Dual Interior-Point Methods for Semidefinite Programs

15 years 6 months ago

Download www.is.titech.ac.jp

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...

Mituhiro Fukuda, Masakazu Kojima, Masayuki Shida

claim paper

Read More »

172

click to vote

ARITH
2007
IEEE

113views Applied Computing» more ARITH 2007»

Formal Verification of Floating-Point Programs

16 years 1 months ago

Download www-lipn.univ-paris13.fr

Sylvie Boldo, Jean-Christophe Filliâtre

claim paper