Modalità d'esame
<p>Seminari o laboratorio </p>
Note modalità di esame
<p>Seminario o lavoro laboratoriale </p>
Prerequisiti
Laurea specialistica e/o Perfezionamento. Attualmente è elencato come corso per il perfezionamento, ma dato che ha un carattere introduttivo, ed è abbastanza autocontenuto, potrebbe essere adatto anche agli studenti del corso ordinario dal IV anno in poi.
Programma insegnamento
Nel corso verrà esplorata la matematica in uso in alcuni branche della Computer Vision, e in particolare nella “teoria dello spazio delle forme”; verrà approfondito il caso in cui lo spazio delle forme è uno spazio di curve chiuse e immerse nel piano. A questo scopo, considereremo lo spazio delle curve come una varietà differenziale (infinito dimensionale); svilupperemo opportuni metodi di calcolo; e doteremo questo spazio di alcune metriche Riemanniane, che sono state proposte nella letteratura corrente. Questi modelli danno fondamento ai metodi di active contour, che sono usati per 'ottimizzazione di forme; questi metodi active contour effettuano la minimizzazione di funzionali obbiettivo tramite discesa gradiente, con lo scopo, ad esempio, di ottenere segmentazioni di immagini, o tracking in sequenze di immagini. Questi modelli ci permettono inoltre di definire anche strumenti utili nell'analisi delle forme, quali ad esempio “la distanza fra due curve” o la “geodetica di curve”. Discuteremo infine (tempo permettendo) alcune possibili definizioni di probabilità su uno spazio di curve.
Riferimenti bibliografici
Note in PDF