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