1
Pubblicazione 2010
Sommario: ... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...
Testo
Elettronico eBook
2
Pubblicazione 2010
Sommario: ... for Saliency Detection in Images -- Face Image Relighting using Locally Constrained Global Optimization...
Testo
Elettronico eBook
3
Pubblicazione 2010
Sommario: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Testo
Elettronico eBook
4
Pubblicazione 2010
Sommario: ... -- Linear Coherent Bi-cluster Discovery via Beam Detection and Sample Set Clustering -- An Iterative...
Testo
Elettronico eBook
5
Pubblicazione 2013
Sommario: ...-EMF Detection -- Establishment of the Photovoltaic Simulation System using Mixed Programming...
Testo
Elettronico eBook