Multiplicative Calculus in Biomedical Image Analysis.
Luc FlorackHans C. van AssenPublished in: J. Math. Imaging Vis. (2012)
Keyphrases
- biomedical image analysis
- mathematical methods
- image analysis
- computer vision
- problems in computer vision
- artificial intelligence
- update rule
- machine learning
- computer algebra
- website
- proof procedure
- automated theorem proving
- provably correct
- first order logic
- algebraic structure
- data sets
- feature selection
- information retrieval
- neural network