咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是81-90 订阅
Maximizing User Domain Expertise to Clarify Oblique Specifications of Relational Queries
Maximizing User Domain Expertise to Clarify Oblique Specific...
收藏 引用
作者: Baik, Christopher University of Michigan
While there is abundant access to data management technology today, working with data is still challenging for the average user. One common means of manipulating data is with SQL on relational databases, but this requ... 详细信息
来源: 评论
Neurosymbolic Models for Computer Graphics
收藏 引用
COMPUTER GRAPHICS FORUM 2023年 第2期42卷 545-568页
作者: Ritchie, Daniel Guerrero, Paul Jones, R. Kenny Mitra, Niloy J. Schulz, Adriana Willis, Karl D. D. Wu, Jiajun Brown Univ Providence RI 02912 USA Adobe Res San Jose CA USA UCL London England Univ Washington Seattle WA 98195 USA Autodesk Res San Francisco CA USA Stanford Univ Stanford CA 94305 USA
Procedural models (i.e. symbolic programs that output visual data) are a historically-popular method for representing graphics content: vegetation, buildings, textures, etc. They offer many advantages: interpretable d... 详细信息
来源: 评论
TIDY: A PBE-based framework supporting smart transformations for entity consistency in PowerPoint
收藏 引用
INFORMATION AND SOFTWARE TECHNOLOGY 2021年 138卷
作者: Liu, Shuguan Wang, Huiyan Xu, Chang Nanjing Univ State Key Lab Novel Software Technol Nanjing Peoples R China Nanjing Univ Dept Comp Sci & Technol Nanjing Peoples R China
Context: programming by example (PBE) is increasingly assisting human users by recognizing and executing repetitive tasks, such as text editing and spreadsheet manipulation. Yet, existing work falls short on dealing w... 详细信息
来源: 评论
Synthesizing Transformations on Hierarchically Structured Data
收藏 引用
ACM SIGPLAN NOTICES 2016年 第6期51卷 508-521页
作者: 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 ... 详细信息
来源: 评论
Demonstrational and constraint-based techniques for pictorially specifying application objects and behaviors
收藏 引用
ACM Transactions on Computer-Human Interaction 1995年 第4期2卷 308–356页
作者: Brad Vander Zanden Brad A. Myers Univ. of Tennessee Knoxville Carnegie Mellon Univ. Pittsburgh PA
The Lapidary interface design tool is a demonstrational system that allows the graphics and run-time behaviors that go inside an application window to be specified pictorially. In particular, Lapidary allows the desig... 详细信息
来源: 评论
KidSim: end user programming of simulations  95
KidSim: end user programming of simulations
收藏 引用
Conference Companion on Human Factors in Computing Systems
作者: Allen Cypher David Canfield Smith Advanced Technology Group Apple Computer Inc. Cupertino CA
No abstract available.
来源: 评论
Towards intuitive interaction for end-user programming  03
Towards intuitive interaction for end-user programming
收藏 引用
Proceedings of the 8th international conference on Intelligent user interfaces
作者: Eric Schwarzkopf Mathias Bauer Dietmar Dengler German Research Center for Artificial Intelligence (DFKI) Saarbrücken Germany
来源: 评论
TRANSIT: Specifying Protocols with Concolic Snippets  13
TRANSIT: Specifying Protocols with Concolic Snippets
收藏 引用
ACM SIGPLAN Conference on programming Language Design and Implementation
作者: Abhishek Udupa Sela Mador-Haim Arun Raghavan Milo M. K. Martin Jyotirmoy V. Deshmukh Rajeev Alur University of Pennsylvania Toyota Technical Center
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... 详细信息
来源: 评论
Internet scrapbook: automating Web browsing tasks by demonstration  98
Internet scrapbook: automating Web browsing tasks by demonst...
收藏 引用
Proceedings of the 11th annual ACM symposium on User interface software and technology
作者: Atsushi Sugiura Yoshiyuki Koseki C&C Media Research Laboratories NEC Corporation 4-1-1 Miyazaki Miyamae-ku Kawasaki 216-8555 Japan
来源: 评论
Configurable human-robot interaction for multi-robot manipulation tasks  12
Configurable human-robot interaction for multi-robot manipul...
收藏 引用
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
作者: Bennie Lewis Gita Sukthankar University of Central Florida Orlando FL
Multi-robot manipulation tasks can be complicated, due to the need for tight temporal coupling between the robots. However, this is an ideal scenario for human-agent-robot teams, since performing all of the manipulati... 详细信息
来源: 评论