DAG-Based Formal Modeling of Spark Applications with MSVL.

Kaixuan Fan Meng Wang

Published in: Inf. (2023)

Keyphrases

dynamic aspects
computer vision
three dimensional
expert systems
real world
reinforcement learning
search algorithm
artificial neural networks
probabilistic model
medical images
directed acyclic graph
formal specification