咨询与建议

限定检索结果

文献类型

  • 51 篇 会议
  • 35 篇 期刊文献
  • 4 篇 学位论文

馆藏范围

  • 90 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 81 篇 工学
    • 58 篇 计算机科学与技术...
    • 51 篇 软件工程
    • 8 篇 电气工程
    • 6 篇 控制科学与工程
    • 3 篇 信息与通信工程
    • 1 篇 生物工程
    • 1 篇 网络空间安全
  • 8 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 4 篇 理学
    • 2 篇 数学
    • 1 篇 生物学
    • 1 篇 科学技术史(分学科...
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 理论经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 90 篇 programming by e...
  • 37 篇 program synthesi...
  • 8 篇 programming by d...
  • 6 篇 data transformat...
  • 5 篇 end-user program...
  • 5 篇 machine learning
  • 4 篇 program transfor...
  • 4 篇 regular expressi...
  • 3 篇 languages
  • 3 篇 program repair
  • 3 篇 end-user develop...
  • 3 篇 regular expressi...
  • 3 篇 synthesis
  • 3 篇 domain specific ...
  • 3 篇 direct manipulat...
  • 3 篇 intelligent user...
  • 3 篇 data transformat...
  • 3 篇 user interface
  • 3 篇 agents
  • 2 篇 model-based user...

机构

  • 5 篇 univ texas austi...
  • 4 篇 univ michigan an...
  • 4 篇 univ penn philad...
  • 4 篇 rice univ housto...
  • 3 篇 microsoft res re...
  • 3 篇 microsoft redmon...
  • 2 篇 ecole polytech f...
  • 2 篇 mit media lab ca...
  • 2 篇 hanyang univ dep...
  • 2 篇 microsoft res re...
  • 2 篇 univ trieste dia...
  • 2 篇 waseda univ
  • 2 篇 peking univ key ...
  • 2 篇 univ trieste dia...
  • 2 篇 university of mi...
  • 2 篇 univ calif san d...
  • 2 篇 natl univ singap...
  • 2 篇 univ freiburg fr...
  • 2 篇 univ calif san d...
  • 2 篇 univ british col...

作者

  • 10 篇 gulwani sumit
  • 6 篇 dillig isil
  • 4 篇 medvet eric
  • 4 篇 radhakrishna arj...
  • 4 篇 de lorenzo andre...
  • 4 篇 bartoli alberto
  • 4 篇 le vu
  • 4 篇 soares gustavo
  • 4 篇 chaudhuri swarat
  • 4 篇 tarlao fabiano
  • 3 篇 singh rishabh
  • 3 篇 alur rajeev
  • 3 篇 leung alan
  • 3 篇 lee woosuk
  • 3 篇 jin zhongjun
  • 3 篇 macias jose a.
  • 3 篇 tiwari ashish
  • 2 篇 takasu atsuhiro
  • 2 篇 knoblock craig a...
  • 2 篇 lerner sorin

语言

  • 88 篇 英文
  • 2 篇 其他
检索条件"主题词=Programming by example"
90 条 记 录,以下是51-60 订阅
排序:
JSKETCH: Sketching for Java  2015
JSKETCH: Sketching for Java
收藏 引用
10th Joint Meeting of the European Software Engineering Conference (ESEC) / ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)
作者: Jeon, Jinseong Qiu, Xiaokang Foster, Jeffrey S. Solar-Lezama, Armando Univ Maryland College Pk MD 20742 USA MIT Cambridge MA 02139 USA
Sketch-based synthesis, epitomized by the SKETCH tool, lets developers synthesize software starting from a partial program., also called a,sketch or template. This paper presents JSKETCH, a tool that brings sketcli-ba... 详细信息
来源: 评论
Spreadsheet Table Transformations from examples  11
Spreadsheet Table Transformations from Examples
收藏 引用
32nd ACM SIGPLAN Conference on programming Language Design and Implementation (PLDI 11)
作者: Harris, William R. Gulwani, Sumit Univ Wisconsin Dept Comp Sci Madison WI 53706 USA
Every day, millions of computer end-users need to perform tasks over large, tabular data, yet lack the programming knowledge to do such tasks automatically. In this work, we present an automatic technique that takes f... 详细信息
来源: 评论
TRANSIT: Specifying Protocols with Concolic Snippets
TRANSIT: Specifying Protocols with Concolic Snippets
收藏 引用
34th ACM SIGPLAN Conference on programming Language Design and Implementation (PLDI)
作者: Udupa, Abhishek Raghavan, Arun Deshmukh, Jyotirmoy V. Mador-Haim, Sela Martin, Milo M. K. Alur, Rajeev Univ Penn Philadelphia PA 19104 USA
With the maturing of technology for model checking and constraint solving, there is an emerging opportunity to develop programming tools that can transform the way systems are specified. In this paper, we propose a ne... 详细信息
来源: 评论
Repeat and predict - Two keys to efficient text editing  94
Repeat and predict - Two keys to efficient text editing
收藏 引用
CHI 94 Conference - Human Factors in Computing Systems: Celebrating Interdependence
作者: MASUI, T NAKAYAMA, K SHARP CO LTD SOFTWARE LABSTENRINARA 632JAPAN
No abstract available.
来源: 评论
VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction  2024
VRDSynth: Synthesizing Programs for Multilingual Visually Ri...
收藏 引用
33rd ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA)
作者: Thanh-Dat Nguyen Tung Do-Viet Hung Nguyen-Duy Tuan-Hai Luu Le, Hung Le, Bach Thongtanunam, Patanamon Univ Melbourne Melbourne Vic Australia Cinnamon AI Ho Chi Minh City Vietnam Deakin Univ Geelong Vic Australia
Businesses often need to query visually rich documents (VRDs), e.g., purchase receipts, medical records, and insurance forms, among many other forms from multiple vendors, to make informed decisions. As such, several ... 详细信息
来源: 评论
Multi-modal Synthesis of Regular Expressions  2020
Multi-modal Synthesis of Regular Expressions
收藏 引用
41st ACM SIGPLAN Conference on programming Language Design and Implementation (PLDI)
作者: Chen, Qiaochu Wang, Xinyu Ye, Xi Durrett, Greg Dillig, Isil Univ Texas Austin Austin TX 78712 USA Univ Michigan Ann Arbor MI 48109 USA
In this paper, we propose a multi-modal synthesis technique for automatically constructing regular expressions (regexes) from a combination of examples and natural language. Using multiple modalities is useful in this... 详细信息
来源: 评论
Unsupervised Neural Controller for Reinforcement Learning Action-Selection: Learning To Represent Knowledge  12
Unsupervised Neural Controller for Reinforcement Learning Ac...
收藏 引用
Symposium on Neural Network Applications in Electrical Engineering (NEUREL)
作者: Gkiokas, Alexandros Cristea, Alexandra I. Univ Warwick Dept Comp Sci Coventry CV4 7AL W Midlands England
Constructing the correct Conceptual Graph representing some textual information requires a series of decisions, defined by vertex or edge creation. The process of creating Conceptual Graphs involves semiotics: the sem... 详细信息
来源: 评论
Synthesis From examples: Interaction Models and Algorithms (Invited Talk Paper)
Synthesis From Examples: Interaction Models and Algorithms (...
收藏 引用
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
作者: Gulwani, Sumit Microsoft Res Redmond WA 98052 USA
examples are often a natural way to specify various computational artifacts such as programs, queries, and sequences. Synthesizing such artifacts from example based specifications has various applications in the domai... 详细信息
来源: 评论
RoboART: Artistic Robot programming in Mixed Reality
RoboART: Artistic Robot Programming in Mixed Reality
收藏 引用
IEEE Conference on Virtual Reality and 3D User Interfaces (VR)
作者: Fronchetti, Felipe Popiela, Miles Spinola, Rodrigo Brixey, Shawn Virginia Commonwealth Univ Sch Arts Richmond VA 23284 USA Virginia Commonwealth Univ Coll Engn Richmond VA 23284 USA
Articulated robots are attracting the attention of artists worldwide. Due to their precise, tireless, and efficient nature, robots are now being deployed in different forms of creative expression, such as sculpting, c... 详细信息
来源: 评论
Synthesizing Transformations on Hierarchically Structured Data  16
Synthesizing Transformations on Hierarchically Structured Da...
收藏 引用
37th ACM SIGPLAN Conference on programming Language Design and Implementation
作者: Yaghmazadeh, Navid Klinger, Christian Dillig, Isil Chaudhuri, Swarat Univ Texas Austin Austin TX 78712 USA Univ Freiburg Freiburg Germany Rice Univ Houston TX 77251 USA
This paper presents a new approach for synthesizing transformations on tree-structured data, such as Unix directories and XML documents. We consider a general abstraction for such data, called hierarchical data trees ... 详细信息
来源: 评论