Sciweavers

4270 search results - page 670 / 854
» A Permutation Approach to Validation
Sort
View
WSC
2004
15 years 7 months ago
Hierarchical Production Planning Using a Hybrid System Dynamic - Discrete Event Simulation Architecture
Hierarchical production planning provides a formal bridge between long-term plans and short-term schedules. A hybrid simulation-based production planning architecture consisting o...
Jayendran Venkateswaran, Young-Jun Son, Albert Jon...
WSCG
2004
158views more  WSCG 2004»
15 years 7 months ago
Fully Automatic Elastic Registration of MR Images with Statistical Feature Extraction
We present a fully automatic scheme for the registration of MR images. The registration is carried out as a combination of an affine and an elastic transformation. The affine part...
Martin Held, Werner Weiser, Franz Wilhelmstöt...
WSCG
2004
120views more  WSCG 2004»
15 years 7 months ago
Voxelization of Solids Using Simplicial Coverings
Rasterization of polygons in 2D is a well known problem, existing several optimal solutions to solve it. The extension of this problem to 3D is more difficult and most existing so...
Antonio J. Rueda Ruiz, Rafael Jesús Segura,...
AAAI
2000
15 years 7 months ago
Graph Construction and Analysis as a Paradigm for Plan Recognition
We present a novel approach to plan recognition in which graph construction and analysis is used as a paradigm. We use a graph structure called a Goal Graph for the plan recogniti...
Jun Hong
FTCS
1998
79views more  FTCS 1998»
15 years 7 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing