1
Published 2006
Table of Contents: ... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- A Nonmonotonic Extension of KLM Preferential Logic P -- On Strong Normalization of the Calculus...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... Density EEG Sensor Arrays for Brain Source Localization -- A Novel Ontological Technique for Sentiment...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
View full text
Electronic eBook