Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

4 results
Deposit type : Fulltext
labStructName_s : Inria Sophia Antipolis - Méditerranée
labStructName_s : Dipartimento di Matematica [Bologna]
Image document

Explainable AI: the new 42?

Randy Goebel , Ajay Chander , Katharina Holzinger , Freddy Lecue , Zeynep Akata , et al.
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.295-303, ⟨10.1007/978-3-319-99740-7_21⟩
Conference papers hal-01934928v1
Image document

Applied Choreographies

Saverio Giallorenzo , Fabrizio Montesi , Maurizio Gabbrielli
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.21-40, ⟨10.1007/978-3-319-92612-4_2⟩
Conference papers hal-01824812v1
Image document

On a New Method to Build Group Equivariant Operators by Means of Permutants

Francesco Camporesi , Patrizio Frosini , Nicola Quercioli
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.265-272, ⟨10.1007/978-3-319-99740-7_18⟩
Conference papers hal-02060057v1
Image document

Foundations of Coordination and Contracts and Their Contribution to Session Type Theory

Mario Bravetti , Gianluigi Zavattaro
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.21-50, ⟨10.1007/978-3-319-92408-3_2⟩
Conference papers hal-01821498v1