1
Published 2006
Table of Contents: ... -- Invited Tutorial -- Overcoming Performance Barriers: Efficient Verification Techniques for Logical...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Learning -- Robust Bayesian Linear Classifier Ensembles -- An Integrated Approach to Learning Bayesian...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... -- Improving Performance of Graph Similarity Joins Using Selected Substructures -- Linear Path Skyline...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... -- Improving Performance of Graph Similarity Joins Using Selected Substructures -- Linear Path Skyline...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- An Experimental Study of Effective Feedback Strategies for Intelligent Tutorial Systems for Foreign Language...
View full text
Electronic eBook