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