1
Publicerad 2015
Innehållsförteckning: ... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2012
Innehållsförteckning: ... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2008
Innehållsförteckning: ... -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2013
Innehållsförteckning: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2008
Innehållsförteckning: ...-Based Partitioning -- Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2008
Innehållsförteckning: ... -- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods....
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2012
Innehållsförteckning: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2014
Innehållsförteckning: ... by an improved Lattice Boltzmann Model Properties of Multiobjective Robust Controller Using Difference Signals...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2010
Innehållsförteckning: ... -- Fuzzy Conceptual Clustering -- Mining Concept Similarities for Heterogeneous Ontologies -- Re-mining...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2007
Innehållsförteckning: ... Intelligence? -- Artificial Intelligence Is Engineering Intelligence – Why Should We Care About Natural...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2012
Innehållsförteckning: ... Neural Spike Train Data -- Online Techniques for Dealing with Concept Drift in Process Mining...
Hämta fulltext
Elektronisk E-bok