Sign in

Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431).

Nikolaj S. BjørnerMaria ChristakisMatteo MaffeiGrigore 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