231 search results - page 27 / 47 » Improvements to combinational equivalence checking |
ICCAD
2003
IEEE
14 years 4 months ago
2003
IEEE
Detailed electromagnetic analysis of three-dimensional structures in multilayered dielectric media is critical for automatic generation of equivalent circuit models for the interc...
ICA
2010
Springer
13 years 6 months ago
2010
Springer
We propose combining supervised and unsupervised algorithms in order to improve the performance of multiple-input multipleoutputdigitalcommunication systemswhich makeuseofdecision-...
COLING
2010
13 years 3 months ago
2010
This paper proposes a new approach to phrase rescoring for statistical machine translation (SMT). A set of novel features capturing the translingual equivalence between a source a...
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— This paper explores integrated source-channel decoding, driven by wireless sensor network applications where correlated information acquired by the network is gathered ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...