485 search results - page 10 / 97 » Embedded intelligent SRAM |
112
Voted
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
84
Voted
APN
2004
Springer
15 years 8 months ago
2004
Springer
123
Voted
AAAI
2012
13 years 5 months ago
2012
Many noise models do not faithfully reflect the noise processes introduced during data collection in many real-world applications. In particular, we argue that a type of noise re...
80
Voted
EVOW
2007
Springer
15 years 8 months ago
2007
Springer
126
Voted
IJCNLP
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes an intelligent text archive system in which typed feature structures are embedded. The aim of the system is to associate feature structures with regions in tex...