Automated Polyhedral Abstraction Proving.

Nicolas Amat Silvano Dal-Zilio Didier Le Botlan

Published in: CoRR (2023)

Keyphrases

automated analysis
semi automated
fully automated
information retrieval
information technology
three dimensional
wide range
similarity measure
line drawings
fully automatic
data driven
multiscale
data sets
image processing
web pages
decision making
feature selection
information systems
learning algorithm
data mining