Typing with Conditions and Guarantees for Functional In-place Update.

Michal Konecný

Published in: TYPES (2002)

Keyphrases

sufficient conditions
decision making
functional analysis
real time
machine learning
computer vision
feature selection
three dimensional
database systems
video sequences
lower bound
artificial neural networks
mobile robot
environmental conditions
update rules