Blockchain-Based Proof of Location.

Michele Amoretti Giacomo Brambilla Francesco Medioli Francesco Zanichelli

Published in: QRS Companion (2018)

Keyphrases

theorem prover
theorem proving
proof planning
real time
data mining
decision making
metadata
web services
high level
database systems
bayesian networks
probabilistic model
location information
location and orientation