1
Publicado em 2008
Sumário: ... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2007
Sumário: ... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2012
Sumário: ... -- Price Forecasting Using Dynamic Assessment of Market Conditions and Agent’s Bidding Behavior.- Non...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2014
Sumário: ... Cluster Ensembles -- Similar-video retrieval via learned exemplars and time-warped alignment -- Automatic...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2012
Sumário: ... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...
Obter o texto integral
Recurso Eletrônico livro eletrônico