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