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