2584 search results - page 167 / 517 » On the Forward Checking Algorithm |
CCECE
2009
IEEE
14 years 1 months ago
2009
IEEE
A statistical algorithm was developed for the damage fault diagnosis and prognosis tool and the present work focuses on the experimental validation. The oxide scale growth experim...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
IJCAI
1993
13 years 9 months ago
1993
In this paper we present an average-case analysis of the nearest neighbor algorithm, a simple induction method that has been studied by manyresearchers. Our analysis assumes a con...
CSL
2010
Springer
13 years 9 months ago
2010
Springer
We present a new algorithm for model-checking weak monadic second-order logic on inductive structures, a class of structures of bounded clique width. Our algorithm directly manipul...
CCE
2006
13 years 8 months ago
2006
A randomized algorithm with stream splitting for design of heat exchanger networks is presented in this work. The algorithm has provisions for splitting any one of the process str...