Modeling and Analysis of Component Connectors in Coq.

Published in: FACS (2013)

Keyphrases

probabilistic model
statistical analysis
database
neural network
statistical modeling
genetic algorithm
computer vision
information systems
decision making
image processing
database systems
feature extraction
objective function
video sequences
data analysis