Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
computational programming » computation programming, computational program, computing programming
detection computational » section computational, prediction computational, interactions computational
programming nets » programming net, programming sets, programming meets
nets array » sets arrays, lens array, nested array
array via » arrays via, array a, array ara
computational programming » computation programming, computational program, computing programming
detection computational » section computational, prediction computational, interactions computational
programming nets » programming net, programming sets, programming meets
nets array » sets arrays, lens array, nested array
array via » arrays via, array a, array ara
1
Publicat 2010
Taula de continguts:
“... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”Obtenir text complet
Electrònic
eBook
3
Publicat 2007
Taula de continguts:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”Obtenir text complet
Electrònic
eBook
4
Publicat 2012
Taula de continguts:
“... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...”Obtenir text complet
Electrònic
eBook
5
Publicat 2014
Taula de continguts:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”Obtenir text complet
Electrònic
eBook
6
Publicat 2005
Taula de continguts:
“... Expansion by WordNet -- Webified Video: Media Conversion from TV Programs to Web Content for Cross-Media...”Obtenir text complet
Electrònic
eBook