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