1
Published 2014
Table of Contents: ... Networks for Ranking Functions -- Logics for Approximating Implication Problems of Saturated Conditional...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... -- Session 9: Program Verification -- Heap Assumptions on Demand -- Proving Conditional Termination...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Case of the Dempster-Shafer Theory -- Interpreting Belief Functions as Dirichlet Distributions...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Description -- Balancing Strategies and Class Overlapping -- Modeling Conditional Distributions of Continuous...
View full text
Electronic eBook