Sciweavers

7991 search results - page 670 / 1599
» Using More Reasoning to Improve
Sort
View
MASCOTS
2001
15 years 8 months ago
A Bit-Parallel Search Algorithm for Allocating Free Space
File systems that allocate data contiguously often use bitmaps to representand managefree space. Increases in the size of storage to be managed creates a needfor eficient algorith...
Randal C. Burns, Wayne Hineman
IJCAI
2003
15 years 8 months ago
Efficient Symmetry Breaking for Boolean Satisfiability
Identifying and breaking the symmetries of CNF formulae has been shown to lead to significant reductions in search times. In this paper we describe a more systematic and efficient...
Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov
WSC
2004
15 years 8 months ago
Agent - Based Model of Auftragstaktik: Self Organization in Command and Control of Future Combat Forces
Agent-based modeling is a framework that allows the analysis of distributed command-by-influence using mission-type orders known for over a century as Auftragstaktik in German Arm...
Robert H. Kewley
WSC
2000
15 years 8 months ago
Automated material handling system traffic control by means of node balancing
This paper presents a logistic algorithm that improves traffic conditions in a network-like automated material handling system (AMHS). The algorithm uses a lookahead procedure and...
Namdar Bahri, Robert J. Gaskins
WSC
2000
15 years 8 months ago
Seeing is believing: the importance of visualization in manufacturing simulation
Visualization has become a critical component of simulation technology. Today we can't imagine doing a simulation without some kind of visualization to help communicate resul...
Matthew W. Rohrer