12,463 Hits in 4.4 sec

User Interaction Models for Disambiguation in Programming by Example

Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Oleksandr Polozov, Rishabh Singh, Benjamin Zorn, Sumit Gulwani
2015 Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology - UIST '15  
Programming by Examples (PBE) has the potential to revolutionize end-user programming by enabling end users, most of whom are non-programmers, to create small scripts for automating repetitive tasks.  ...  We present two novel user interaction models that communicate actionable information to the user to help resolve ambiguity in the examples.  ...  Mikael, Gustavo, Vu, and Alex were each supported by a oneyear position at MSR, and Maxim was supported by a sixmonth position at MSR.  ... 
doi:10.1145/2807442.2807459 dblp:conf/uist/MayerSGLMPSZG15 fatcat:uq62mdnznbcrld6dsuv5kh2azm

Interactive Program Synthesis [article]

Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani
2017 arXiv   pre-print
We build a formal model of user interaction along three dimensions: incremental algorithm, step-based problem formulation, and feedback-based intent refinement.  ...  Since this technology is often used in an interactive setting, efficiency and correctness are often the key user expectations from a system based on such technologies.  ...  Due to ambiguity of intent in PBE, the standard user interaction model in this setting is for the user to provide constraints iteratively until the user is satisfied with the synthesized program or its  ... 
arXiv:1703.03539v1 fatcat:kkg3vgidnfghder2xk6npd44ja

Extract Entities with Iknoweb Framework

2016 International Journal of Science and Research (IJSR)  
In order to reach more accurate resulted information, there is need to develop and utilized unique characteristics of a web. This paper introduces the concept of search engine for entity.  ...  Search engine plays a vital role in collecting and understanding this valuable information.  ...  Acknowledgment The authors duly acknowledge the support provided by the Management and Principal of BIT Engineering College-Maharashtra by means of providing all the study related facilities.  ... 
doi:10.21275/v5i4.nov162917 fatcat:s3wf3ikxyzh7jjvv2al7nco4um

An investigation on the user interaction modes of conversational recommender systems for the music domain

Fedelucio Narducci, Pierpaolo Basile, Marco de Gemmis, Pasquale Lops, Giovanni Semeraro
2019 User modeling and user-adapted interaction  
accuracy and on the cost of interaction for the final user.  ...  Conversational Recommender Systems (CoRSs) implement a paradigm that allows users to interact in natural language with the system for defining their preferences and discovering items that best fit their  ...  The authors also want to thank Andrea Iovine for the support given to this research.  ... 
doi:10.1007/s11257-019-09250-7 fatcat:zzwrqguo4beqdntmznlhfwmfie

Modeling dialogue with mixed initiative in design space exploration

2006 Artificial intelligence for engineering design, analysis and manufacturing  
Established accounts of design interaction are made complicated by two propositions in Woodbury and Burrow's Keynote on design space exploration.  ...  Few studies exist in the design interaction literature on working with multiple threads simultaneously.  ...  in the development of the interaction model for design space exploration reported in this paper.  ... 
doi:10.1017/s0890060406060124 fatcat:bcpquoirmfbolavzl6elq75ngi

Symmetry for successful interactive systems

Harold Thimbleby
2002 Proceedings of the SIGCHI-NZ Symposium on Computer-Human Interaction - CHINZ '02  
Symmetry makes user interfaces easier to learn, easier to use, and easier to program -and hence more reliable. Symmetry raises in very clear ways many design trade-offs.  ...  Abstract (not just geometrical) symmetry is a powerful explanation of why these concepts work, and it can be generalised to guide new design for more effective user interfaces.  ...  ACKNOWLEDGMENTS Harold Thimbleby is a Royal Society-Wolfson Research Merit Award Holder, and gratefully acknowledges their support in this work.  ... 
doi:10.1145/2181216.2181217 dblp:conf/chinz/Thimbleby02 fatcat:i6z4qeqp2vbkdcbhy3woarqpxy

CUBES: A Parallel Synthesizer for SQL Using Examples [article]

Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins
2022 arXiv   pre-print
We improve the accuracy of CUBES by developing a disambiguation procedure based on fuzzing that interacts with the user and increases our confidence that the returned query matches the user intent.  ...  However, many of these users do not have the background in programming required to write complex programs, particularly SQL queries.  ...  [16] describe two types of user interaction for program disambiguation: in the first approach, users select the correct program among a set of returned solutions which are presented in a way that allows  ... 
arXiv:2203.04995v1 fatcat:ira3zshakjd5vhof5i6shcapxm

FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions [chapter]

Margarida Ferreira, Miguel Terra-Neves, Miguel Ventura, Inês Lynce, Ruben Martins
2021 Lecture Notes in Computer Science  
To increase confidence in the synthesized regular expression, we implement user interaction based on distinguishing inputs.We evaluated Forest on real-world form-validation instances using regular expressions  ...  We propose a novel representation for regular expressions synthesis, multi-tree, which induces patterns in the examples and uses them to split the problem through a divide-and-conquer approach.  ...  Regex Disambiguation To increase confidence in the synthesizer's solution, Forest disambiguates the specification by interacting with the user.  ... 
doi:10.1007/978-3-030-72016-2_9 fatcat:obq2x2mo3baohemytw2metvale

A relevance feedback approach for the author name disambiguation problem

Thiago A. Godoi, Ricardo da S. Torres, Ariadne M.B.R. Carvalho, Marcos A. Gonçalves, Anderson A. Ferreira, Weiguo Fan, Edward A. Fox
2013 Proceedings of the 13th ACM/IEEE-CS joint conference on Digital libraries - JCDL '13  
This paper presents a new name disambiguation method that exploits user feedback on ambiguous references across iterations.  ...  Our classification scheme combines the Optimum-Path Forest (OPF) classifier with complex reference similarity functions generated by a Genetic Programming framework.  ...  Acknowledgements The authors are grateful to CAPES, FAPESP, FAPEMIG, CNPq and Santander for their support.  ... 
doi:10.1145/2467696.2467709 dblp:conf/jcdl/GodoiTCGFFF13 fatcat:piohdinb6vaa7pniclj6fs56ny

FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions [article]

Margarida Ferreira and Miguel Terra-Neves and Miguel Ventura and Inês Lynce and Ruben Martins
2020 arXiv   pre-print
To increase confidence in the synthesized regular expression, we implement user interaction based on distinguishing inputs.  ...  We propose a novel representation for regular expressions synthesis, multi-tree, which induces patterns in the examples and uses them to split the problem through a divide-and-conquer approach.  ...  Regex Disambiguation To increase confidence in the synthesizer's solution, Forest disambiguates the specification by interacting with the user.  ... 
arXiv:2012.14235v1 fatcat:2rddq6wkingk7leopwsnknk2sq

Lips: An IDE for model driven engineering based on natural language processing

Oliver Keszocze, Mathias Soeken, Eugen Kuksa, Rolf Drechsler
2013 2013 1st International Workshop on Natural Language Analysis in Software Engineering (NaturaLiSE)  
But due to ambiguities in natural language, these approaches usually require user interaction.  ...  It contains recent NLP algorithms that extract formal models suited for the Eclipse Modeling Framework and therefore provide a starting point for an ongoing implementation.  ...  ACKNOWLEDGMENTS This work was supported by the German Research Foundation (DFG) (DR 287/23-1).  ... 
doi:10.1109/naturalise.2013.6611718 fatcat:ijactgxe2zdxdpowxwl7qcyp44

Improved word list ordering for text entry on ambiguous keypads

Jun Gong, Peter Tarasewich, I. Scott MacKenzie
2008 Proceedings of the 5th Nordic conference on Human-computer interaction building bridges - NordiCHI '08  
We present a design methodology for small ambiguous keypads, where input often produces a list of candidate words for a given desired word.  ...  Simulations yield improvements in text entry speed of about 10% and reductions in errors of about 20%, depending on the keypad size.  ...  As one example, Dominowska et al. [6] used contextual information to enhance a text communication system for disabled users by adjusting vocabularies based on user location.  ... 
doi:10.1145/1463160.1463177 dblp:conf/nordichi/GongTM08 fatcat:bvoh3ehuzfco5c2oeuse3ocp2y

Application of word prediction and disambiguation to improve text entry for people with physical disabilities (assistive technology)

Hisham Al Mubaid, Ping Chen
2008 International Journal of Social and Humanistic Computing  
Improving and enhancing text entry and interaction with computers for disabled users has been investigated for many years, with many systems and interface devices proposed to facilitate and simplify text  ...  Computers and technologies are becoming an integral and important part of lives for most people, including those with disabilities.  ...  For example, the user is typing "… yesterday I called my d_" and we want to predict/disambiguate 'doctor' from 'daughter' in this context to suggest it for the user as a word completion.  ... 
doi:10.1504/ijshc.2008.020477 fatcat:em7qu4nntnb6dgmph7hc5oyadm

A Conversational Approach for Modifying Service Mashups in IoT Environments

Sanghoon Kim, In-Young Ko
2022 CHI Conference on Human Factors in Computing Systems  
The localization step allows users to easily search for a mashup by vocalizing their expressions in the environment.  ...  CoMMA has a two-step mashup modifcation interaction, an implicature-based localization step, and a modifcation step with a disambiguation strategy.  ...  Figure 7 shows an example of a modifcation interaction between a user and CoMMA. The modifcation interaction is initiated by the user by speaking a command to modify the currently selected mashup.  ... 
doi:10.1145/3491102.3517655 fatcat:uw6ikxn5orgepewhs2pfx7c32y

Interactive parser synthesis by example

Alan Leung, John Sarracino, Sorin Lerner
2015 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015  
We present a programming-by-example framework called Parsify that is able to synthesize a parser from input/output examples. The user does not write a single line of code.  ...  in the grammar being refined, and (c) a graphical mechanism for specifying example parse trees using only textual selections.  ...  Acknowledgements We would like to thank the anonymous reviewers for their insightful comments.  ... 
doi:10.1145/2737924.2738002 dblp:conf/pldi/LeungSL15 fatcat:cgkxwto3ynczbp7xqvkuugr3pi
« Previous Showing results 1 — 15 out of 12,463 results