Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
constructive computation » constructive communication, constructive communications, construction competitions
programming temporal » programming general, programming neural, programming tutorial
programming sno2 » programming self, programming spss, programming school
concepts cases » concepts chapter
constructive computation » constructive communication, constructive communications, construction competitions
programming temporal » programming general, programming neural, programming tutorial
programming sno2 » programming self, programming spss, programming school
concepts cases » concepts chapter
1
Published 2015
Table of Contents:
“... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”View full text
Electronic
eBook
4
Table of Contents:
“... -- Synchronization -- Verification with Temporal Logic -- Data and Program Structures -- Channels -- Nondeterminism...”
View full text
View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... -- 2-D Shape Representation and Recognition by Lattice Computing Techniques -- Order Metrics...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... -- CITOM: Incremental Construction of Topic Maps -- Schema-Matching with Data Dictionaries -- Requirements...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Ontological Contexts to Assess the Relevance of Statements in Ontology Evolution -- What Is Concept Drift...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Time-Series Data Mining Environment Based on Temporal Pattern Extraction Methods: A Case Study...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Case Based Spatial Topological Data Retrieval -- Providing Consistent Service for Structured P2P...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Computing and Databases (P2P&DB) -- On Constructing Small Worlds in Unstructured Peer-to-Peer Systems...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... -- Fuzzy Conceptual Clustering -- Mining Concept Similarities for Heterogeneous Ontologies -- Re-mining...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Computational Intelligence -- Incremental Construction of Alpha Lattices and Association Rules -- Intelligent...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Language Modeling Approach for Temporal Information Needs -- Analyzing Information Retrieval Methods...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“...Keynotes -- An Introduction to Transfer Learning -- Autonomy-Oriented Computing (AOC), Self...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Battlespace Augmentation -- Learning and Evolution: An Introduction to Non-darwinian Evolutionary Computation...”View full text
Electronic
eBook