1421 search results - page 161 / 285 » Resampling methods for input modeling |
135
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...
95
Voted
ACL
2006
15 years 5 months ago
2006
The present work advances the accuracy and training speed of discriminative parsing. Our discriminative parsing method has no generative component, yet surpasses a generative base...
286
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
We describe the challenge of combining continuous computer vision techniques and qualitative, symbolic methods to achieve a system capable of cognitive vision. Key to a truly cogni...
132
Voted
WCE
2007
15 years 4 months ago
2007
—Associative neural memories are models of biological phenomena that allow for the storage of pattern associations and the retrieval of the desired output pattern upon presentati...
135
Voted
ET
2000
15 years 3 months ago
2000
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...