Sciweavers

27 search results - page 1 / 6

» iclp 2005

6

ICLP
2005
Springer

109views Automated Reasoning» more ICLP 2005»

Concurrent Methodologies for Global Optimization

13 years 10 months ago

Concurrent Methodologies for Global Optimization

Download www.dmi.units.it

Luca Bortolussi

claim paper

Read More »

4

ICLP
2005
Springer

74views Automated Reasoning» more ICLP 2005»

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic

13 years 10 months ago

The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic

Download www.cs.bris.ac.uk

Oliver Ray

claim paper

Read More »

6

ICLP
2005
Springer

93views Automated Reasoning» more ICLP 2005»

A Temporal Programming Language for Heterogeneous Information Systems

13 years 10 months ago

A Temporal Programming Language for Heterogeneous Information Systems

Download www.di.uevora.pt

Vítor Nogueira

claim paper

Read More »

8

ICLP
2005
Springer

147views Automated Reasoning» more ICLP 2005»

Analysis and Optimization of CHR Programs

13 years 10 months ago

Analysis and Optimization of CHR Programs

Download people.cs.kuleuven.be

Jon Sneyers

claim paper

Read More »

8

ICLP
2005
Springer

96views Automated Reasoning» more ICLP 2005»

Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis

13 years 10 months ago

Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis

Download www.informatik.uni-ulm.de

Thom W. Frühwirth

claim paper

Read More »

« Prev « First page 1 / 6 Last » Next »