<--- Back to Details
First PageDocument Content
European Telecommunications Standards Institute / 3GPP Long Term Evolution / Vehicular communication systems / 4G / Infrastructure / Technology / Verona / New Jersey / Verona
Date: 2015-02-26 04:07:12
European Telecommunications Standards Institute
3GPP Long Term Evolution
Vehicular communication systems
4G
Infrastructure
Technology
Verona
New Jersey
Verona

D2.3.x Detailed Technical Architecture per Pilot Site

Add to Reading List

Source URL: www.compass4d.eu

Download Document from Source Website

File Size: 1,13 MB

Share Document on Facebook

Similar Documents

Artificial intelligence / Logic / Cognitive science / Automated reasoning / Reasoning / Accountability / Technology / Automated theorem proving / Explainable Artificial Intelligence / Xai / Inference

Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona

DocID: 1xVwB - View Document

Artificial intelligence / Cognitive science / Logic / Cognition / Cybernetics / Automated reasoning / Automated theorem proving / Computational neuroscience / Explainable Artificial Intelligence / Mark E. Stickel / Reason / Inference

Automated Reasoning for Explainable Artificial Intelligence∗ Maria Paola Bonacina1 Dipartimento di Informatica Universit` a degli Studi di Verona Strada Le Grazie 15

DocID: 1xVfb - View Document

Software engineering / Computing / Computer programming / Procedural programming languages / Programming languages / Logic in computer science / Programming language semantics / Abstract interpretation / Operational semantics / ALGOL 68 / Syntax / Programming language

NSADAbstract Domains for Type Juggling Vincenzo Arceri1 Department of Computer Science, University of Verona, Italy

DocID: 1xUtX - View Document

PDF Document

DocID: 1xSWq - View Document

PDF Document

DocID: 1xSEX - View Document