Extracting the power of dependent types.

Artjoms Sinkarovs Jesper Cockx

Published in: GPCE (2021)

Keyphrases

power consumption
automatically extracting
neural network
machine learning
genetic algorithm
artificial intelligence
information systems
database systems
data streams
digital libraries
hidden markov models