Model Based Object Recognition be Geometric Hashing By : H. J. Wolfson מציג : ניר סגיב

הקדמה  הגדרת הבעיה : יצירת מודל חישוב מהיר עבור זיהוי צורות יצירת מודל חישוב מהיר עבור זיהוי צורות הן בדו מימד והן בתלת מימד, כאשר טווח הן בדו מימד והן בתלת מימד, כאשר טווח הצורות לזיהוי ידוע ואנו מסוגלים לאפשר הצורות לזיהוי ידוע ואנו מסוגלים לאפשר שלב לימוד ארוך. שלב לימוד ארוך.  שימושים : רובוטיקה בתעשיה, שימושים מוגדרים מראש של זיהוי צורות. מראש של זיהוי צורות.

הבעיות שיש לטפל בהן  מצבים רבים ו"מבלבלים".  זוויות ראיה שונות.  מרחקים שונים מהאובייקטים הנצפים.  בתלת מימד – מידע ש"נעלם" בגלל זווית הראיה.

הגדרה מתמטית של אובייקט לפני שנוכל להתחיל לדבר על זיהוי אובייקטים ראשית עלינו להיות מסוגלים לתת הגדרה מתמטית לאובייקטים על מנת שנוכל ללמד את המערכת שלנו לזהות אותם.  נניח כי ניתן לזהות "מאפינים מעניינים" על אובייקטים. (כך שגם מודל האובייקט וגם הסצינה יכולים להיות מיוצגים על ידי נק' אילו) מיוצגים על ידי נק' אילו)  ניתן להגדיר זיהוי צורה בסצינה כמציאת התאמה בין הנק' המיוחדות בסצינה לבין הנק' המיוחדות של האובייקט.

 יכולת הזיהוי צריכה להיות מסוגלת לעמוד בשינויים בסיסיים כגון סיבובים והזזות קשיחות כמו גם שינויים בקנה המידה. בהנתן n נק' מעניינות במרחב ו m נק' מעניינות במודל ישנן O(n m ) דרכים לבצע התאמה. הגדרה מתמטית של אובייקט

Geometric Hashing paradigm המודל שנבחר צריך לתת פיתרון לשתי בעיות מרכזיות :  יצוג צורות המודל.  התאמה בין הנתונים בשטח (סצינה) למודל. המודל שנבחר צריך לתת פיתרון לשתי בעיות מרכזיות :  יצוג צורות המודל.  התאמה בין הנתונים בשטח (סצינה) למודל.

יצוג צורות המודל  GHP (Geometric Hashing paradigm) מציגה גישה אחידה לנושא היצוג (והזיהוי) של הצורות תחת טרנספורמציות מגוונות (3-D & 2-D). האובייקטים מיוצגים כקבוצות מינימליות של מאפיינים גיאומטריים והיחסים ביניהם. בפיתרון שנראה המאפינים הגאומטרים יהיו נק'. Geometric Hashing paradigm

המטרה בשיטת היצוג היא לקודד בדרך יעילה גופים קשיחים כך שעבור כל טרנספורמציה נוכל לקבל יצוג אחיד של הגוף. נתחיל ביצוג של גופים דו מימדיים – ידוע כי כל תנועה של גוף דו מימדי יכולה להיות מיוצגת בצורה יחידה על ידי תנועה של שלוש נק' (שאינן על ישר אחד) של אותו גוף. Geometric Hashing paradigm יצוג צורות המודל

ולכן נייצג כל גוף על ידי שלוש נק' ממנו ואת כל שאר הנק' שלו ניצג בצורה יחידה על ידי שלוש הנק' הללו.  את טרנספורמצית הסיבוב נבטל ע"י בניית שני וקטורים המקבילים ל X ו Y.  את ההזזה ע"י קיבוע הנק' לראשית הצירים.  ואת קנה המידה על ידי יצירת קנה מידה חדש בזמן יצירת שני הוקטורים הרלוונטיים. Geometric Hashing paradigm יצוג צורות המודל

דוגמא Geometric Hashing paradigm e 00 e 01 e 10 V = ae x + be y + e 00 = a(e 10 – e 00 ) + b(e 01 – e 00 ) + e 00

 הגדרה זו נוחה מאוד.  כל גוף עבור כל טרנספורמציה (בהנחה ובחירת הנק' המעניינות מוגדרת בצורה יחידה) יתן את אותו מבנה וקטורים.  מכוון שאין אנו יודעים אילו נק' יבחרו בזמן אמת כשלושת נק' היחוס לכניס למבנה הנתונים (hash table) את כל השלשות האפשריות עם כל היצוגים האפשריים של הנק' האחרות כווקטורים בבסיס האפיני(e 00, e 01, e 10 ). Geometric Hashing paradigm

 כמובן שזמן הריצה עבור הנתונים הוא ארוך מאוד O(m 4 ) – כל אחת מ m הנקודות מקודדת ב m 3 בסיסים שונים ולכן זמן הריצה ארוך – כמובן שהמקום שהמידע תופס הינו רב.  מכוון שאנו מעוניינים בזמן עבודה מהיר על חשבון הכנות רבות בשלב ה"למידה", זמן זה הכרחי על מנת להשיג תוצאות טובות בזמן ריצה. Geometric Hashing paradigm Complexity – running time

אלגוריתם הלמידה a.Extract the objects interest points. b.For each ordered non-collonear triplet of model points (affine basis) do : Algorithm Steps 1.Compute the coordinates of all other m-3 model points in the affine coordinate frame defined by the basis triplet. 2.Use each such coordinate (after a proper quantization) as an address (index) to a hash- table, and record in the appropriate entry of the table the pair (model, basis).

a.Extract the interest points (of scene). b.Choose an arbitrary ordered triplet (affine basis) and compute the other point from the triplet. c.For each such coordinate check the appropriate entry in the hash-table & vote for every pair which apears there. (the votes accumulator will have m i 3 entries – where N is the num of models and m i is the number of interes points on the I’ th model) Algorithm Steps אלגוריתם ההשוואה/הזיהוי N

d.If a certain pairscores a large number of votes, decide that this pair corresponds to the one chosen in the scene. e.Consider all the model-image point pairs which voted for the affine transformation of step (d) and find the transformation giving the best least-squares match between all these corresponding pairs. Algorithm Steps אלגוריתם ההשוואה/הזיהוי

Algorithm Steps f.Transform all the edges of the model according to the affine transformation of step (e) and verify them versus the scene edges. If the verification fails go back to step (b) and start over with three other points.

אלגוריתם הלמידה Object Acquisition Interest Feature Extraction Transformation Invariant Coordinate System HASH TABLE H(coordinate)=(Object,Basis) Algorithm Steps - Scheme

אלגוריתם ההשוואה/הזיהוי HASH TABLE H(coordinate)=(Object,Basis) Computation of interest feature coordinates in given basis Basis Choice Interesting feature Extraction SCENE VOTE For (obj,basis) pair (obj,basis) with high vote Find best least-squares match Verify obj edges against scene NO YES BAD GOOD Eliminate obj PROCEED

דגשים : אין אנו מצפים בשלב f להגיע עם מועמד אחד אילה להוריד בצורה משמעותית את מספר הצורות המועמדות. במידה ונבחרו 3 נק' השייכות לאותו מודל האלגוריתם יצליח לזהות אותו. זמן הריצה במקרה הגרוע יהיה O(n 4 ) אבל עבור רוב ההרצות ובמיוחד עבור סצינות שאינן עמוסות במודלים רבים נקבל זמן ריצה טוב בהרבה. אלגוריתם - דגשים Algorithm – and more

אלגוריתם - דגשים Algorithm – and more דגשים : האלגוריתם יעבוד בדיוק באותה צורה גם עבור ישרים (המישור האפיני דואלי לעצמו). ניתן לבצע אלגוריתם חכם בבחירת הנק' לחישוב הבסיס וכך לתת לנו אפשרות לשיפור נוסף בזמן הריצה. אם נרצה לבצע חישוב זה עבור תלת מימד נצתרך לבצע חישובים לפי בסיס מסדר 4 (3 מהנק' כמו בדו מימד והנק' הרביעית במישר שאינו משותף לשאר)