Xiaolin Wu - Wissenschaftliche Veröffentlichungen

(1 - 10 von 12

)

Optimal quantization by matrix searching - ScienceDirect

www.sciencedirect.com

Optimal quantization by matrix searching. Author links open overlay panelXiaolin Wu. Show more. https://doi.org (91) Get rights and ...

dblp: Xiaolin Wu

dblp.uni-trier.de

List of computer science publications by Xiaolin Wu

Search results for "Xiaolin Wu" – FacetedDBLP

dblp.l3s.uni-hannover.de

Xiaolin Wu(290) Sorina Dumitrescu(32) Lei Zhang 0006(31) Guangming Shi(26) Nasir D. Memon(18) Xiangjun Zhang(17) Guangtao Zhai(16) ...

Xiaolin Wu (Büchi NWA emptiness check, Büchi NWA complementation) Yu-Wen Chen (alias analysis) Dependencies. Many plugins in Ultimate require an SMT-LIB compatible theorem prover. We use SMTInterpol. Ultimate uses Eclipse RCP. Plugins that handle C code depend on Eclipse CDT. ...

dblp: Xiaolin Wu (disambiguation)

dblp.org

Disambiguation page

dblp: Weisheng Dong

dblp.org

List of computer science publications by Weisheng Dong

Xiaolin Wu dblpdblp.org › Persons

dblp.org

Dahua Gao , Xiaolin Wu : Multispectral Image Restoration via Inter- and Intra-Block Sparse Estimation Based on Physically-Induced Joint Spatiospectral ...