Sign in

Extracting the power of dependent types.

Artjoms SinkarovsJesper 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