Search Sciweavers | Sciweavers

6167 search results - page 10 / 1234

» Can Refinement be Automated

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 3 months 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

14 years 1 months ago

Download www.cs.us.es

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

claim paper

Read More »

click to vote

GECCO
2007
Springer

269views Optimization» more GECCO 2007»

Automated red teaming: a proposed framework for military application

14 years 4 months ago

Download www.cs.bham.ac.uk

In this paper, we describe Automated Red Teaming (ART), a concept that uses Evolutionary Algorithm (EA), Parallel Computing and Simulation to complement the manual Red Teaming eff...

Chwee Seng Choo, Ching Lian Chua, Su-Han Victor Ta...

claim paper

Read More »

click to vote

CADE
2009
Springer

148views Logical Reasoning» more CADE 2009»

A Refined Resolution Calculus for CTL

14 years 4 months ago