3028 search results - page 377 / 606 » Integrating Temporal Logics |
198
click to vote
ETS
2009
IEEE
2009
IEEE
Increasing Robustness of SAT-based Delay Test Generation Using Efficient Dynamic Learning Techniques
15 years 4 months ago
Due to the increased speed in modern designs, testing for delay faults has become an important issue in the postproduction test of manufactured chips. A high fault coverage is nee...
144
click to vote
JMLR
2010
15 years 1 months ago
2010
This paper describes a set of visualization tools which aid the understanding of discussion topics and trends in online discussion forums. The tools integrate into the forum'...
159
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
A patient-specific seizure prediction algorithm is proposed that extracts novel multivariate signal coherence features from ECoG recordings and classifies a patient’s pre-seiz...
186
click to vote
AAAI
2011
14 years 6 months ago
2011
In this paper we propose differential eligibility vectors (DEV) for temporal-difference (TD) learning, a new class of eligibility vectors designed to bring out the contribution of...
169
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Interconnect structures significantly contribute to the delay, power consumption, and silicon area of modern reconfigurable architectures. The demand for higher clock frequencie...