1
Publicerad 2008
Innehållsförteckning: ... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2013
Innehållsförteckning: ...Poster Session 3 (Continued): Segmentation, Grouping, and Classification Multi-layer Spectral...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2014
Innehållsförteckning: ... Laplacian Sparse Coding for Image Categorization -- Special Session: The 2014 Cybersecurity Data Mining...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2012
Innehållsförteckning: ... Density EEG Sensor Arrays for Brain Source Localization -- A Novel Ontological Technique for Sentiment...
Hämta fulltext
Elektronisk E-bok