PPT-Bringing Semantics Into Focus Using Visual Abstraction

Larry Zitnick Devi Parikh Microsoft Research Virginia Tech Two professors converse in front of a blackboard Two professors stand in front of a blackboard Two professors converse in front of a . Greta . Yorsh. Eran. . Yahav. Martin . Vechev. IBM Research. { . . ………………. . …… . ………………….. . …………………….. …………………………. }. P1(). Coming to Grips with Complexity in Verification. Ken McMillan. Microsoft Research. TexPoint fonts used in EMF: . A. A. A. A. A. Need for Formal Methods that Scale. We design complex computing systems by debugging. Retrieval. Motivation. Experiments. Overall Framework. Multi-Abstraction Concern Localization. Tien-Duy B. Le, Shaowei Wang, and David Lo. {btdle.2012, shaoweiwang.2010,davidlo}@smu.edu.sg. Abstraction. Dear . local Camden . Charities, . THIS . IS A FANTASTIC OPPORTUNITY FOR . YOU!. You . have been invited to the CAMDEN COMMUNITY SPIRIT EVENT . to promote Charities around Camden in order to . encourage . Occurs in Capernaum . [Jesus' "own city"]. . - (Mk 2:1,2; Mt 9:1). He did many miracles there. Healed the centurion's servant - Mt 8:5-13. Healed Peter's mother-in-law - Mt 8:14-15. Cast out many demons - Mt 8:16. Andrew Hirsch and . Michael Clarkson. George Washington University. Cornell University. ACM Conference on Computer and Communications . Security. November 6, 2013. Formal Reasoning . about Authorization. Mark 2:1 – 12 . Pastor Terry . Smoak. BRINGING OUR FRIENDS TO JESUS. . Bringing our friends to Jesus will require persistent determination.. Mark 2:4. BRINGING OUR FRIENDS TO JESUS. . Bringing our friends to Jesus will require necessary innovation.. Richard Gesick. Abstraction. the mechanism and practice of . abstraction. reduces and factors out details so that one can focus on a few concepts at a time. The concept . originated by analogy with abstraction in . Sowing in the morning, sowing seeds of kindness,. Sowing in the noontide and the dewy eve;. Waiting for the harvest, and the time of reaping,. We shall come rejoicing, bringing in the sheaves.. Bringing in the sheaves, bringing in the sheaves,. (Sowing in the morning). Lyrics: Knowles Shaw. Scripture:Psalm. 126:6. Meter: . 12.11.12.11.10.11.10.11. PD. Sowing in the morning, sowing seeds of kindness,. Sowing in the noontide and the dewy eve;. with Bounds. Outline. Motivation. Abstractions . of extensive-form games. Theoretical guarantees on abstraction quality. Computing . abstractions. Hardness. Algorithms. Experiments. Nash equilibrium. Kenny Denmark. Jason Isenhower. Ross Roessler. Background. A* uses heuristics for efficient searching. Initially, heuristics provided by "expert". Challenge is to have program create heuristics. Way of classifying information from abstract (general) to concrete (specific) . . Level 4:. Abstractions. Level 3: . Noun Classes, broad group names with little specification. Level 2:. Noun Categories, more definite groups. Motivation. Experiments. Overall Framework. Multi-Abstraction Concern Localization. Tien-Duy B. Le, Shaowei Wang, and David Lo. {btdle.2012, shaoweiwang.2010,davidlo}@smu.edu.sg. Abstraction. Hierarchy.