1
Publicerad 2008
Innehållsförteckning: ... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2007
Innehållsförteckning: ... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2012
Innehållsförteckning: ... -- Price Forecasting Using Dynamic Assessment of Market Conditions and Agent’s Bidding Behavior.- Non...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2014
Innehållsförteckning: ... Cluster Ensembles -- Similar-video retrieval via learned exemplars and time-warped alignment -- Automatic...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2012
Innehållsförteckning: ... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...
Hämta fulltext
Elektronisk E-bok