1
Published 2005
Table of Contents: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... Function through Reaching and Grasping -- Joint Protection: Enabling Change in Musculoskeletal Conditions...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Scientific Workflows -- Reaching Agreement over Ontology Alignments -- A Formal Model for Semantic Web...
View full text
Electronic eBook