Abstract: This paper presents a novel adaptive moving window forgetting factor method specifically designed for the decoupled recursive least squares approach applied to the second-order equivalent ...
Abstract: Path coverage is of critical importance in software testing and verification. Furthermore, path explosion is a well-known challenge for automatic software analysis techniques like symbolic ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback