1
Published 2008
Table of Contents: ... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ...Poster Session 3 (Continued): Segmentation, Grouping, and Classification Multi-layer Spectral...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Laplacian Sparse Coding for Image Categorization -- Special Session: The 2014 Cybersecurity Data Mining...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... Density EEG Sensor Arrays for Brain Source Localization -- A Novel Ontological Technique for Sentiment...
View full text
Electronic eBook