Gillian: A Multi-Language Platform for Unified Symbolic Analysis.

Petar Maksimovic José Fragoso Santos Sacha-Élie Ayoun Philippa Gardner

Published in: CoRR (2021)

Keyphrases

data analysis
real time
language learning
quantitative analysis
statistical analysis
expert systems
multiscale
image segmentation
search engine
data mining
data sets
case study
data structure
natural language
image analysis
evolutionary algorithm
general purpose
neural network
database