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