1 / 48

IV COMPUTING SIZE FUNCTIONS

IV COMPUTING SIZE FUNCTIONS. Patrizio Frosini Vision Mathematics Group University of Bologna - Italy http://vis.dm.unibo.it/. In order to compute size functions we have to develop a discrete theory of size functions. d -covering. Size graph. The approximation procedure.

kim
Download Presentation

IV COMPUTING SIZE FUNCTIONS

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. IVCOMPUTING SIZE FUNCTIONS Patrizio Frosini Vision Mathematics Group University of Bologna - Italy http://vis.dm.unibo.it/ International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  2. In order to compute size functions we have to develop a discrete theory of size functions. d-covering Size graph International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  3. The approximation procedure Let us consider a size pair (M,j) where M is a compact and locally connected subset of IRm and assume that j is the restriction to M of a continuous function g : IRmIR. Call () the modulus of continuity of the functiong : () =sup|g(P)-g(Q)|: P,Q IRm,||P-Q||<  International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  4. Definition of d-covering of M Consider a finite set P= P0,…,Ph of points of IRm and the set Bd of the h+1 open balls B(Pi,d) of radius d with centers at the points of P. Let us assume that Bd verifies the following properties: • M is contained in the union of the ballsB(Pi,d) • For every index 0ih,B(Pi,d)M is a non-empty connected set. ThenBd is called a d-covering of M International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  5. An example of d-covering of M d-covering M International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  6. The size graph(G,’)associated to ad-covering Consider a d-coveringBd= B(P0,d),…, B(Ph,d)ofM We call size graph associated to Bd the following labelled graph: Set of vertices: V=P0,…,Ph Two vertices Pi,Pjare adjacent if and only if the set(B(Pi,d)B(Pj,d)) M is connected. We label each vertex Piby the real number’(Pi)= g(Pi). We say that (G,’)d-approximates the size pair (M,). International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  7. An example of size graph Size graph We label each vertex Piby the real number g(Pi). This way we get a discrete measuring functionj’:P0,…,PhIR. The size graph is the pair(G,j’). International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  8. The discrete size function of a size graph We set G’ x= subgraph of G obtained by erasing all the vertices of G at which j’ takes a value strictly greater than x and all the edges connecting those vertices to other vertices. We call discrete size function of the size graph (G,’) the functionl (G,’): x  yINthat takes each point (x,y) to the number of connected components ofG’ y containing at least one vertex of G’ x . International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  9. Example: computing l (G,’)(0.5,0.8) l (G,’)(0.5,0.8)=3 International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  10. The approximation theorem Theorem. Assume that a size graph (G,’) is given, d-approximating the size pair (M,). Then for every x,yIR and every   () withx+  y- the following inequalities hold l (G ,’)(x-,y+ ) l(M,j)(x,y)  l (G ,’)(x+,y- ) l (M ,)(x-,y+ ) l(G,j’)(x,y)  l (M ,)(x+,y- ) Previous theorem gives us a method for computing size functions. International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  11. Problem: size graph are usually big. Example. If the topological space M is the rectangle mxn of the image, then our d-approximating size graph has more than mxn/4d2vertices (d expressed in number of pixels). International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  12. Reducing size graph in order to make the computation of size functions easier. Theorem. These reduction moves do not change the discrete size function. International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  13. Theorem. After a finite number of steps we get a decreasing arborescence w.r.t j (i.e. a directed tree where there is exactly one descending path from the root to every other node) where no further move can be applied. This descending arborescence does not depend on the particular sequence of moves we have applied. International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  14. Computing the size function of the decreasing arborescence we have obtained: A recursive procedure • Choose the highest leaf wv and erase it; • Put a cornerpoint at (j’(v),j’(w)); • If just one vertex u is left, then draw the cornerlinex=j’(u) and stop,otherwiserepeat from 1). International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  15. What is the computational cost of computing size functions? Suppose that our size graph is connected and set n= number of its vertices, m= number of its edges. International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  16. The first step: ordering the vertices w.r.tj Computational cost:O(n·log n) International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  17. The second step: D*-reduction of the size graph. Computational cost:O(m·a(2m+n,n))(where a is the inverse function of the Ackermann’s function) After D*-reduction we get a decreasing arborescence w.r.t j. The new nodes are already ordered. International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  18. The third step: computing the size function of the decreasing arborescence. From previous steps we can assume that the n’ vertices are ordered w.r.tjand that n’ n. Computational cost:O(n’ ) International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  19. In practical cases the main cost is due to the ordering of vertices: O(n·log n) International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  20. Applications International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  21. Size functions are mostly useful for qualitative comparison, i.e. comparison where the group of invariance is not clear (or does not exist at all). International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  22. Example 1 We have considered the following database (by courtesy of Pelillo and Siddiqi): International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  23. Some queries: International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  24. Searching for a horse: International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  25. Searching for a hand: International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  26. Searching for another hand: International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  27. Changing the measuring functions: International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  28. Allowing rotations: International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  29. Example 2 Trittico International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  30. Searching by examples International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  31. Searching by examples Size functions allow us to formalize the concept of “average shape”. International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  32. Example 3 • We consider some piecewise-smooth curves, generated by random parameter variations of the formula: where Some polygonals are obtained by joining random points. International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  33. Some sample curves (database=700 curves) International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  34. Some sample polygons (database=700 polygons) International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  35. Experiments International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  36. Experiments International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  37. Evaluating symmetry and irregularity International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  38. Is this “fine-tooth comb” symmetrical? 20 teeth 22 teeth International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  39. Comparing the shape and the mirror shape International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  40. Superimposing shape and mirror shape International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  41. Difference image International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  42. Size functions reveal the similarity The presence of the red cluster reveals the symmetry of shape. International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  43. Revealing asymmetry and irregularity is useful for melanoma detection. nevus melanoma International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  44. A software package (SketchUp) for automatic classification of hand-drawn sketches of tools in a 7 elements set has been implemented. (Only the outer contour is actually input to the recognition process). International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  45. International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  46. International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  47. International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

  48. Summary • The concepts of size graph (G,’)d-approximating a size pair (M,) is given, together with the concept of discrete size function of a size graph. • An approximation theorem is shown, linking size functions to the discrete size functions of thed-approximating size pairs. • From this a computational method for size functions follows. • The computational complexity of computing size functions is described and a method for its reduction is given. • Some applications of size functions are described. International Workshop on Computer Vision - Institute for Studies in Theoretical Physics and Mathematics, April 26-30 2004, Tehran

More Related