Refinement Types for Incremental Computational Complexity.
Ezgi ÇiçekDeepak GargUmut A. AcarPublished in: ESOP (2015)
Keyphrases
- computational complexity
- incremental learning
- np complete
- machine learning
- low complexity
- three dimensional
- real time
- special case
- digital libraries
- single pass
- memory requirements
- computationally efficient
- medical images
- computational cost
- np hard
- multi agent systems
- multi agent
- image processing
- e learning
- artificial intelligence
- neural network