Intersection Types via Finite-Set Declarations.

Fairouz Kamareddine Joe B. Wells

Published in: WoLLIC (2024)

Keyphrases

training data
finite number
partially ordered
database
real time
real world
learning algorithm
information systems
decision making
video sequences
input data