Sciweavers

6167 search results - page 10 / 1234
» Can Refinement be Automated
Sort
View
IMR
2004
Springer
15 years 6 months ago
Conformal Refinement of All-Hexahedral Element Meshes Based on Multiple Twist Plane Insertion
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...
73
Voted
ILP
2000
Springer
15 years 4 months ago
A Topological Study of the Upward Refinement Operators in ILP
Miguel A. Gutiérrez-Naranjo, José A....
GECCO
2007
Springer
269views Optimization» more  GECCO 2007»
15 years 6 months ago
Automated red teaming: a proposed framework for military application
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...
CADE
2009
Springer
15 years 7 months ago
A Refined Resolution Calculus for CTL
Lan Zhang, Ullrich Hustadt, Clare Dixon
64
Voted
TPHOL
2008
IEEE
15 years 7 months ago
Secure Microkernels, State Monads and Scalable Refinement
David Cock, Gerwin Klein, Thomas Sewell