2838 search results - page 206 / 568 » Verifying Controlled Components |
176
click to vote
PKDD
2004
Springer
15 years 11 months ago
2004
Springer
Ideally, a multi-strategy learning algorithm performs better than its component approaches. RISE is a multi-strategy algorithm that combines rule induction and instance-based learn...
157
click to vote
ISSS
2000
IEEE
15 years 10 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
160
click to vote
ITC
1997
IEEE
15 years 10 months ago
1997
IEEE
- An all-digital technique for the measurement of the jitter transfer function of charge-pump phase-locked loops is introduced. Input jitter may be generated using one of two metho...
159
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
A new VLSI architecture for real-time pipeline FFT processor is proposed. A hardware oriented radix-22 algorithm is derived by integrating a twiddle factor decomposition technique ...
158
click to vote
ITS
1998
Springer
15 years 10 months ago
1998
Springer
In some domains, including those requiring natural language understanding, we cannot build a system that can complete the entire task. One way to deal with such cases is to encode ...