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 care » concepts case, concepts cases, concepts karen
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 care » concepts case, concepts cases, concepts karen
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 2008
Table of Contents:
“... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... for OWL DL Entailments -- DL???Lite and Role Inclusions -- Temporal Ontology Language for Representing...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Depth Map Restoration -- Online Detection of Concept Drift in Visual Tracking -- Temporally Regularized...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... -- Fuzzy Conceptual Clustering -- Mining Concept Similarities for Heterogeneous Ontologies -- Re-mining...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Reduction for Very Large Spatio-Temporal Datasets -- Change a Sequence into a Fuzzy Number -- Multiple...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...Keynotes -- An Introduction to Transfer Learning -- Autonomy-Oriented Computing (AOC), Self...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... Neural Spike Train Data -- Online Techniques for Dealing with Concept Drift in Process Mining...”View full text
Electronic
eBook