Sciweavers

3671 search results - page 217 / 735

» On Garbage and Program Logic

150

Voted

ML
2008
ACM

102views Machine Learning» more ML 2008»

Inductive logic programming for gene regulation prediction

15 years 7 months ago

Inductive logic programming for gene regulation prediction

Download wwwkramer.in.tum.de

Sebastian Fröhler, Stefan Kramer

claim paper

Read More »

147

MSCS
2006

80views more MSCS 2006»

Denotational semantics for a program logic of objects

15 years 7 months ago

Denotational semantics for a program logic of objects

Download www.cogs.susx.ac.uk

Bernhard Reus, Jan Schwinghammer

claim paper

Read More »

145

Voted

NGC
2006
Springer

82views Communications» more NGC 2006»

Database Query Languages and Functional Logic Programming

15 years 7 months ago

Database Query Languages and Functional Logic Programming

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

147

Voted

JAPLL
2007

55views more JAPLL 2007»

Termination of logic programs with imperfect information: applications and query procedure

15 years 7 months ago

Termination of logic programs with imperfect information: applications and query procedure

Download sevein.matap.uma.es

Carlos Viegas Damásio, Jesús Medina,...

claim paper

Read More »

142

Voted

TOCL
2008

75views more TOCL 2008»

Inferring non-suspension conditions for logic programs with dynamic scheduling

15 years 7 months ago

Inferring non-suspension conditions for logic programs with dynamic scheduling

Download tocl.acm.org

Samir Genaim, Andy King

claim paper

Read More »

« Prev « First page 217 / 735 Last » Next »