Computing with generic trees in Agda.

Published in: TyDe@ICFP (2022)

Keyphrases

decision trees
website
domain specific
real time
neural network
data mining
computer vision
information systems
decision making
image processing
image segmentation
expert systems
relational databases
multiresolution
tree structure
tree construction