Recovering from Errors during Programming by Demonstration

Slides:



Advertisements
Similar presentations
Pseudo-Relevance Feedback For Multimedia Retrieval By Rong Yan, Alexander G. and Rong Jin Mwangi S. Kariuki
Advertisements

A System to Generate Test Data and Symbolically Execute Programs Lori A. Clarke September 1976.
AdaBoost Reference Yoav Freund and Robert E. Schapire. A decision-theoretic generalization of on-line learning and an application to boosting. Journal.
Retrieval of Authentic Documents for Reader- Specific Lexical Practice Jonathan Brown Carnegie Mellon University Language Technologies Institute J. Brown.
Design of icons for use by Chinese in Mainland China Interacting with computers 9(1998) Yee-Yin Choong, Gavriel Salvendy Report: Yang Kun, Ou.
THE QUICKER PICKER UPPER Purpose: To investigate how science works To demonstrate the process by which we can solve problems To demonstrate knowledge of.
Programming by Demonstration Kerry Chang Human-Computer Interaction Institute Carnegie Mellon University D: Human Aspects of Software Development.
Remote Visualization Explorations of Ajax & Web Services.
Paper Title Your Name CMSC 838 Presentation. CMSC 838T – Presentation Motivation u Problem paper is trying to solve  Characteristics of problem  … u.
Predicting Unix Commands With Decision Tables and Decision Trees Kathleen Durant Third International Conference on Data Mining Methods and Databases September.
Introduction. 2 What Is SmartFlow? SmartFlow is the first application to test QoS and analyze the performance and behavior of the new breed of policy-based.
Applied Software Project Management Andrew Stellman & Jennifer Greene Applied Software Project Management Applied Software.
About the Presentations The presentations cover the objectives found in the opening of each chapter. All chapter objectives are listed in the beginning.
1 Software Testing and Quality Assurance Lecture 5 - Software Testing Techniques.
2.1 Functions and their Graphs p. 67. Assignment Pp #5-48 all.
Prototype & Design Computer Inputs. How to Prototype & Design Computer Inputs Step 1: Review Input Requirements Step 2: Select the GUI Controls Step 3:
Workflow and SharePoint Presented by Ben Geers. Overview What is workflow? Windows Workflow Foundation How does workflow apply to SharePoint? WSS v3 vs.
Joint tracking in friction stir welding Paul Fleming Vanderbilt University Welding Automation Laboratory.
Author: James Allen, Nathanael Chambers, etc. By: Rex, Linger, Xiaoyi Nov. 23, 2009.
Bug Localization with Machine Learning Techniques Wujie Zheng
Chapter 12 Evaluating Products, Processes, and Resources.
Copyright © 2006, SAS Institute Inc. All rights reserved. SAS Enterprise Guide Old Proc – New Tricks? Tim Trussell Academic Program, SAS Canada world diabetes.
1 C++ Plus Data Structures Nell Dale Chapter 1 Software Engineering Principles Modified from the Slides made by Sylvia Sorkin, Community College of Baltimore.
Generic API Test tool By Moshe Sapir Almog Masika.
Fuzzy Inference (Expert) System
EXPLOITING DYNAMIC VALIDATION FOR DOCUMENT LAYOUT CLASSIFICATION DURING METADATA EXTRACTION Kurt Maly Steven Zeil Mohammad Zubair WWW/Internet 2007 Vila.
Semantic Wordfication of Document Collections Presenter: Yingyu Wu.
An Entity-Mention Model for Coreference Resolution with Inductive Logic Programming Xiaofeng Yang 1 Jian Su 1 Jun Lang 2 Chew Lim Tan 3 Ting Liu 2 Sheng.
Exploring the role of visualization and engagement in Computer Science Education Naps, T., & etc. (2003). Exploring the role of visualization and engagement.
Author: Alex Groce, Daniel Kroening, and Flavio Lerda Computer Science Department, Carnegie Mellon University Pittsburgh, PA Source: R. Alur and.
CSI 1340 Introduction to Computer Science II Chapter 1 Software Engineering Principles.
Application of Data Mining Techniques on Survey Data using R and Weka
1 Do You Need an ETL Tool? Ben Bor NZ Ministry of Health Ben Bor NZ Ministry of Health.
Unclassified//For Official Use Only 1 RAPID: Representation and Analysis of Probabilistic Intelligence Data Carnegie Mellon University PI : Prof. Jaime.
Testing and Evaluating Software Solutions Introduction.
Error Explanation with Distance Metrics Authors: Alex Groce, Sagar Chaki, Daniel Kroening, and Ofer Strichman International Journal on Software Tools for.
Steps for Developing a Visual C# 2010 Application MIT By: S. Sabraz Nawaz.
Microsoft Visual C# 2010 Fourth Edition Chapter 3 Using GUI Objects and the Visual Studio IDE.
A Comparison of the Usage of English Tenses of Undergraduate Students with Different Abilities Receiving Different Types of Error Treatment through the.
Software Testing and Quality Assurance Practical Considerations (1) 1.
A Self-organizing Semantic Map for Information Retrieval Xia Lin, Dagobert Soergel, Gary Marchionini presented by Yi-Ting.
CS623: Introduction to Computing with Neural Nets (lecture-18) Pushpak Bhattacharyya Computer Science and Engineering Department IIT Bombay.
CPMGT 300 Week 4 Learning Team Collecting Requirements Check this A+ tutorial guideline at 300/CPMGT-300-Week-4-Learning-Team-Collecting-
Tulane University School of Public Health and Tropical Medicine
Machine Learning: Ensemble Methods
Prototyping Lecture # 08.
C++ Plus Data Structures
AUDACIOUS: USER DRIVEN ACCESS CONTROL WITH UNMODIFIED OPERATING SYSTEM
Modern Systems Analysis and Design Third Edition
Different Types of Testing
Object-Orientated Programming
Issues in Spoken Dialogue Systems
AUTOMATED SESSION PLANNING. In the present world, everything has become automated. By, a click everything is being processed. But the preparation of the.
A “Holy Grail” of Machine Learing
Introduction to Computer Programming
Introduction to Software Testing
Design and Programming
Automated Plasma Generator Test System
Introduction to Data Mining, 2nd Edition
Deep Belief Nets and Ising Model-Based Network Construction
Author Name Disambiguation in Medline
A Graph-Based Approach to Learn Semantic Descriptions of Data Sources
CS150 Introduction to Computer Science 1
Magnet & /facet Zheng Liang
Lab Report 5 pts – title 5 pts – problem 5 pts – hypothesis
Preliminaries: Factors
Demonstration #1 Tool Classes: Cost Task
Test Tools Tools can be useful but are they worth it? Cost
Modern Systems Analysis and Design Third Edition
SIDE: The Summarization IDE
Presentation transcript:

Recovering from Errors during Programming by Demonstration Jiun-Hung Chen and Daniel S. Weld University of Washington By, Paurav Surendra

INTRODUCTION CHINLE is a automation tool Works across applications Programming by demonstration(PBD) systems are constructed. Provides user ability to interact and correct the system Intuitive interface for the users

AUTOMATIC VERSION-SPACE GENERATION 1/2 What is Version Space ? CHINLE creates the VS automatically, using the interface specification

AUTOMATIC VERSION-SPACE GENERATION 2/2 A version space is executed on an input, by applying every hypothesis in the version space to the input and collecting the set of resulting outputs. The output with the highest probability is chosen

PROBABILISTIC WEIGHTING FOR DISAMBIGUATION Need for a Probabilistic Weighting ? A hypothesis conditioned on the value of the most recently changed variable is more likely If (n+1)st action is being learnt, n variables have been modified. A hypothesis is conditioned on a variable which was changed t steps previously, it is assigned a probability of P/2t All k hypotheses whose conditioning variables haven’t changed are assigned the weight P/k2n

VISUALIZING SYSTEM CONFIDENCE

CORRECTING DEMONSTRATION ERRORS 1/2

CORRECTING DEMONSTRATION ERRORS 2/2

QUESTIONS Overall reaction to the paper ? Opinion on the techniques used ? Is it better than the existing tools ? Other uses for the system ?

THANK YOU