1
Published 2008
Table of Contents: ... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... -- Price Forecasting Using Dynamic Assessment of Market Conditions and Agent’s Bidding Behavior.- Non...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... Cluster Ensembles -- Similar-video retrieval via learned exemplars and time-warped alignment -- Automatic...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...
View full text
Electronic eBook