Sciweavers

6926 search results - page 212 / 1386
» A More Effective CEFF
Sort
View
IJCAI
1997
15 years 8 months ago
Analogy and Abduction in Automated Deduction
A method is presented for analogical reasoning in Automated Deduction. We focus on the abductive aspects of analogy and give a unified treatment for theorems and non-theorems. Abd...
Gilles Défourneaux, Nicolas Peltier
WSC
2000
15 years 8 months ago
Predicting enemy force closure with simulation
This paper presents a model and an analysis done to predict enemy force closure. The simulation replaces a pencil and ruler method that has been used by Department of Defense plan...
Mark R. Grabau, Michael D. Payne
MVA
1994
100views Computer Vision» more  MVA 1994»
15 years 8 months ago
Image Analysis for Automated Pavement Cracking Evaluation
Image processing technology plays an important part in the analysis and evaluation of pavement surface cracking. The pattern recognition method for crack geometry proposed in this...
Hideki Shimamura, Kazuhiro Oonuma, Yoshizumi Yasud...
WSC
1996
15 years 8 months ago
Simulation of complex construction processes
Eight successively refined simulation models for the earthmoving operations involved in the construction of a dam provide the foundation for illustrating the ease and effectivenes...
Photios G. Ioannou, Julio C. Martínez
WSC
1996
15 years 8 months ago
Enterprise Modeling within an Enterprise Engineering Framework
of abstraction, or modeling, is a major element in Enterprise Engineering. Enterprise engineering deals with the analysis, design, implementation and operation of an enterprise. T...
Donald H. Liles, Adrien Presley