Search Sciweavers | Sciweavers

1005 search results - page 5 / 201

» Patterns for Refinement Automation

click to vote

ECAI
2004
Springer

127views Artificial Intelligence» more ECAI 2004»

Lakatos-Style Automated Theorem Modification

13 years 11 months ago

Download www.doc.ic.ac.uk

We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...

Simon Colton, Alison Pease

claim paper

Read More »

click to vote

IMR
2004
Springer

108views Computational Geometry» more IMR 2004»

Conformal Refinement of All-Hexahedral Element Meshes Based on Multiple Twist Plane Insertion

14 years 25 days ago

Download www.imr.sandia.gov

This paper presents an automated tool for local, conformal refinement of all-hexahedral meshes based on the insertion of multidirectional twist planes into the spatial twist conti...

Nathan J. Harris, Steven E. Benzley, Steven J. Owe...

claim paper

Read More »

click to vote

ILP
2000
Springer

83views Automated Reasoning» more ILP 2000»

A Topological Study of the Upward Refinement Operators in ILP

13 years 11 months ago