Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431).

Nikolaj S. Bjørner Maria Christakis Matteo Maffei Grigore Rosu

Published in: Dagstuhl Reports (2021)

Keyphrases

data sets
preprocessing
real time
expert systems
significant improvement
multi class
high dimensional data
genetic algorithm
image processing
computational cost
computationally expensive
search methods