1
Published 2008
Table of Contents: ... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- A Nonmonotonic Extension of KLM Preferential Logic P -- On Strong Normalization of the Calculus...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Coding -- Real-time compressive tracking with a particle filter framework -- Image Super-Resolution...
View full text
Electronic eBook