1
出版 2008
書本目錄: ... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...
獲取全文
電子 電子書
2
出版 2007
書本目錄: ... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...
獲取全文
電子 電子書
3
出版 2012
書本目錄: ... -- Price Forecasting Using Dynamic Assessment of Market Conditions and Agent’s Bidding Behavior.- Non...
獲取全文
電子 電子書
4
出版 2014
書本目錄: ... Cluster Ensembles -- Similar-video retrieval via learned exemplars and time-warped alignment -- Automatic...
獲取全文
電子 電子書
5
出版 2012
書本目錄: ... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...
獲取全文
電子 電子書