1
Published 2005
Table of Contents: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Visually Interpretable Models with GUIDE -- Structural Adaptive Smoothing by Propagation–Separation Methods...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook