1
Published 2014
Table of Contents: ...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Hulls and Metric Gabriel Graphs -- Cellular automaton shading for building envelopes -- Pattern...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... of Experts for View-Independent Face Recognition -- Fusion of Support Vector Classifiers for Parallel Gabor...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Proof Systems -- On the Resolution Complexity of Graph Non-isomorphism -- Quantified Boolean Formulas...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... Formal Semantics for Weighted Ontology -- Personalised Graph-Based Selection of Web APIs -- Instance...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... Formal Semantics for Weighted Ontology -- Personalised Graph-Based Selection of Web APIs -- Instance...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
View full text
Electronic eBook