1
منشور في 2015
جدول المحتويات: ... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2008
جدول المحتويات: ... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2010
جدول المحتويات: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2013
جدول المحتويات: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2008
جدول المحتويات: ...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2008
جدول المحتويات: ... for OWL DL Entailments -- DL???Lite and Role Inclusions -- Temporal Ontology Language for Representing...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2012
جدول المحتويات: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2014
جدول المحتويات: ... Depth Map Restoration -- Online Detection of Concept Drift in Visual Tracking -- Temporally Regularized...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2010
جدول المحتويات: ... -- Fuzzy Conceptual Clustering -- Mining Concept Similarities for Heterogeneous Ontologies -- Re-mining...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2010
جدول المحتويات: ... Reduction for Very Large Spatio-Temporal Datasets -- Change a Sequence into a Fuzzy Number -- Multiple...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2008
جدول المحتويات: ...Keynotes -- An Introduction to Transfer Learning -- Autonomy-Oriented Computing (AOC), Self...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2012
جدول المحتويات: ... Neural Spike Train Data -- Online Techniques for Dealing with Concept Drift in Process Mining...
احصل على النص الكامل
الكتروني كتاب الكتروني