On-Demand Refinement of Dependent Types.

Hiroshi Unno Naoki Kobayashi

Published in: FLOPS (2008)

Keyphrases

data sets
database
genetic algorithm
e learning
high level
similarity measure
multi agent
data streams
computational complexity
digital libraries
information technology