SharpSMT first fuses DPLL(T) polytope enumeration with new factorization, variable-elimination and caching pre-processing, ...
Abstract: High-lag autocorrelation estimation enhances noise suppression in ultrafast power Doppler imaging by exploiting the temporal coherence among Doppler ensembles. The temporal-multiply-and-sum ...
Abstract: The minimum error entropy (MEE) criterion closely relies on the quadratic information potential (QIP) estimates of Renyi’s entropy. Nevertheless, the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback