1
Published 2010
Table of Contents: ...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... on Fat Terrains -- Computing the Visibility Map of Fat Objects -- Session 6B -- Independent Sets...
View full text
Electronic eBook