A parametricity-based formalization of semi-simplicial and semi-cubical sets.

Hugo Herbelin Ramkumar Ramachandra

Published in: CoRR (2024)

Keyphrases

real time
data sets
real world
search algorithm
digital images
database
databases
feature selection
website