Login / Signup
Scenic: A Language for Scenario Specification and Data Generation.
Daniel J. Fremont
Edward Kim
Tommaso Dreossi
Shromona Ghosh
Xiangyu Yue
Alberto L. Sangiovanni-Vincentelli
Sanjit A. Seshia
Published in:
CoRR (2020)
Keyphrases
</>
data generation
specification language
programming language
formal language
data streams
operational semantics
formal languages
active learning
streaming data
high throughput
natural language
co occurrence
support vector machine
dimensionality reduction
image analysis
data sets
real time