5355 search results - page 42 / 1071 » Modules |
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
ISCAS
2003
IEEE
14 years 27 days ago
2003
IEEE
We propose a new channel compensation method for modulation spectral features. We compare our proposed method, subband normalization, with a more traditional method, cepstral mean...
KBSE
2003
IEEE
14 years 27 days ago
2003
IEEE
This paper describes a novel methodology for predicting fault prone modules. The methodology is based on Dempster-Shafer (D-S) belief networks. Our approach consists of three step...
ISCAS
2002
IEEE
14 years 16 days ago
2002
IEEE
This paper addresses the problem of pattern noise encountered in single-stage delta-sigma modulators in the presence of a DC input signal. By utilizing state-space matrices, we ex...
ICRA
2000
IEEE
14 years 21 hour ago
2000
IEEE
This paper presents the application of an action module planning method to an experimental climbing robot named LIBRA. The method searches for a sequence of physically realizable ...