Search Sciweavers | Sciweavers

3738 search results - page 182 / 748

» Parametrized Logic Programming

click to vote

ICML
2003
IEEE

103views Machine Learning» more ICML 2003»

Learning Logic Programs for Layout Analysis Correction

14 years 9 months ago

Download www.hpl.hp.com

Margherita Berardi, Michelangelo Ceci, Floriana Es...

claim paper

Read More »

click to vote

SOFSEM
2010
Springer

115views Theoretical Computer Science» more SOFSEM 2010»

Taming the Complexity of Inductive Logic Programming

14 years 5 months ago

Download www.sofsem.cz

Filip Zelezný, Ondrej Kuzelka

claim paper

Read More »

click to vote

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

14 years 3 months ago

Download research.nii.ac.jp

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...

claim paper

Read More »

click to vote

ICEIS
2009
IEEE

90views Information Technology» more ICEIS 2009»

A Logic Programming Framework for Learning by Imitation

14 years 2 months ago

Download www.di.uniba.it

Grazia Bombini, Nicola Di Mauro, Teresa Maria Alto...

claim paper

Read More »

click to vote

IFM
2009
Springer

91views Formal Methods» more IFM 2009»

Predicate Abstraction in a Program Logic Calculus

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers