Search Sciweavers | Sciweavers

1710 search results - page 24 / 342

» High-Level Programs and Program Conditions

click to vote

LPAR
2001
Springer

123views Automated Reasoning» more LPAR 2001»

Inferring Termination Conditions for Logic Programs Using Backwards Analysis

15 years 2 months ago

Download www.clip.dia.fi.upm.es

This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalizes traditional termination analysis where an analyzer tries to veri...

Samir Genaim, Michael Codish

claim paper

Read More »

click to vote

ILP
1999
Springer

88views Automated Reasoning» more ILP 1999»

On Sufficient Conditions for Learnability of Logic Programs from Positive Data

15 years 2 months ago

Download ds.lib.kyutech.ac.jp

Eric Martin, Arun Sharma

claim paper

Read More »

click to vote

LDTA
2010

139views Programming Languages» more LDTA 2010»

Dependence condition graph for semantics-based abstract program slicing

14 years 10 months ago

Download www.dsi.unive.it

Agostino Cortesi, Raju Halder

claim paper

Read More »

click to vote

ANOR
2007

74views more ANOR 2007»

Conditional value at risk and related linear programming models for portfolio optimization

14 years 9 months ago

Download www.ia.pw.edu.pl

Renata Mansini, Wlodzimierz Ogryczak, Maria Grazia...

claim paper

Read More »

click to vote

MP
2008

62views more MP 2008»

Mathematical programs with vanishing constraints: optimality conditions and constraint qualifications

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers