Yazar
Rauchwerger, Lawrence. editor.
Format:
Electronic Resources
Alıntı:
the power of parallel systems such as mobile computing, big data, relevant aspects of machine learning
Yazar
Ölveczky, Peter Csaba. editor.
Format:
Electronic Resources
Alıntı:
; feature-oriented and versioned systems; model-based testing; model inference; ontologies and machine learning
View Other Search Results
Yazar
Lee, Kent D. author.
Format:
Electronic Resources
Alıntı:
undergraduate level, this engaging textbook takes an active learning approach to the next stage in understanding
Yazar
Chang, Bor-Yuh Evan. editor.
Format:
Electronic Resources
Alıntı:
pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis
Yazar
Nejati, Shiva. editor.
Format:
Electronic Resources
Alıntı:
-- Constructing Search Spaces for SBST using Machine Learning -- A Review of Ten Years of the Symposium on
Yazar
Bartocci, Ezio. editor.
Format:
Electronic Resources
Alıntı:
chain for Timed Property Enforcement during eXecution -- Tutorial Papers -- Machine Learning Methods in
Yazar
Canal, Carlos. editor.
Format:
Electronic Resources
Alıntı:
Verifying Smell-Free Architectures with the ARCHERY Language -- OntoLiFLOSS: Ontology for Learning Processes
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
Agent-Based Tool for the Management of Fishing Effort.- Certifying Machine Code Safe from Hardware Aliasing
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Interdisciplinary Evolution in Machine and Plant Engineering – Industry 4.0 -- Doctoral Symposium and Poster Session
Arama Sonuçlarını Sınırlandır
Daraltılmış: