Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
computing programming » computer programming, computers programming
detection computing » detection comparing, detection computer, detection combining
programming nets » programming net, programming sets, programming meets
nets array » sets arrays, lens array, nested array
array via » arrays via, array a, array ara
computing programming » computer programming, computers programming
detection computing » detection comparing, detection computer, detection combining
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
Argitaratua 2010
Aurkibidea:
“... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2007
Aurkibidea:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2012
Aurkibidea:
“... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2014
Aurkibidea:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2005
Aurkibidea:
“... Expansion by WordNet -- Webified Video: Media Conversion from TV Programs to Web Content for Cross-Media...”Testu osoa
Baliabide elektronikoa
eBook