Aarhus University logo
Dansk
Abstract: Using an homomorphic authenticator (HA) scheme (e.g.?, ?homomorphic MAC or signature?) a user, Alice, can authenticate a collection of data…
Join the crowd! Fuel and charge! Dig deep!
We present partial evaluation by specialization-safe normalization, a novel partial evaluation technique that is Jones-optimal, that can be…
Title: Local Rule-Based Explanation of Black Box Decision Systems
Speaker: Franco Turini (University of Pisa)
Abstract
The recent years have…
Page 76 of 172.