Search Sciweavers | Sciweavers

4617 search results - page 138 / 924

» Automation of Diagrammatic Reasoning

124

click to vote

ILP
2000
Springer

83views Automated Reasoning» more ILP 2000»

A Topological Study of the Upward Refinement Operators in ILP

15 years 10 months ago

Download www.cs.us.es

Miguel A. Gutiérrez-Naranjo, José A....

claim paper

Read More »

133

click to vote

LOPSTR
2000
Springer

103views Automated Reasoning» more LOPSTR 2000»

A model for inter-module analysis and optimizing compilation

15 years 10 months ago

Download clip.dia.fi.upm.es

Francisco Bueno, Maria J. García de la Band...

claim paper

Read More »

133

click to vote

GIS
2009
ACM

142views Automated Reasoning» more GIS 2009»

Trees or grids?: indexing moving objects in main memory

15 years 9 months ago

Download dbtr.cs.aau.dk

Darius Sidlauskas, Simonas Saltenis, Christian W. ...

claim paper

Read More »

click to vote

DLOG
2007

90views Automated Reasoning» more DLOG 2007»

A General Framework for Covering Concepts using Terminologies

15 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Boualem Benatallah, Mohand-Said Hacid, Alain L&eac...

claim paper

Read More »

111

click to vote

DLOG
2008

83views Automated Reasoning» more DLOG 2008»

Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers