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