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

14 years 10 days 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

14 years 5 days 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

13 years 8 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

13 years 8 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

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers