咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 89 篇 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

语言

  • 87 篇 英文
  • 2 篇 其他
检索条件"主题词=PROGRAMMING BY EXAMPLE"
89 条 记 录,以下是11-20 订阅
排序:
Data Formulator: AI-Powered Concept-Driven Visualization Authoring
收藏 引用
IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS 2024年 第1期30卷 1128-1138页
作者: Wang, Chenglong Thompson, John Lee, Bongshin Microsoft Res Redmond WA 98052 USA
With most modern visualization tools, authors need to transform their data into tidy formats to create visualizations they want. Because this requires experience with programming or separate data processing tools, dat... 详细信息
来源: 评论
Generalized planning as heuristic search: A new planning search-space that leverages pointers over objects
收藏 引用
ARTIFICIAL INTELLIGENCE 2024年 330卷
作者: Segovia-Aguas, Javier Jimenez, Sergio Jonsson, Anders Univ Pompeu Fabra Fabra Spain Univ Politecn Valencia Valencia Spain
Planning as heuristic search is one of the most successful approaches to classical planning but unfortunately, it does not trivially extend to Generalized Planning (GP);GP aims to compute algorithmic solutions that ar... 详细信息
来源: 评论
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2023年 第PLDI期7卷 1657-1681页
作者: Yoon, Yongho Lee, Woosuk Yi, Kwangkeun Seoul Natl Univ Dept Comp Sci & Engn Seoul South Korea Hanyang Univ Dept Comp Sci & Engn Seoul South Korea
A key challenge in example-based program synthesis is the gigantic search space of programs. To address this challenge, various work proposed to use abstract interpretation to prune the search space. However, most of ... 详细信息
来源: 评论
Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2023年 第POPL期7卷 2048-2078页
作者: Lee, Woosuk Cho, Hangyeol Hanyang Univ Dept Comp Sci & Engn Seoul South Korea
We present a novel approach to synthesizing recursive functional programs from input-output examples. Synthesizing a recursive function is challenging because recursive subexpressions should be constructed while the t... 详细信息
来源: 评论
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2023年 第OOPSLA期7卷 1394–1417页
作者: Thakkar, Aalok Sands, Nathaniel Petrou, George Alur, Rajeev Naik, Mayur Raghothaman, Mukund Univ Penn Philadelphia PA 19104 USA Univ Southern Calif Los Angeles CA USA
Synthesizing relational queries from data is challenging in the presence of recursion and invented predicates. We propose a fully automated approach to synthesize such queries. Our approach comprises of two steps: it ... 详细信息
来源: 评论
Repairing Regular Expressions for Extraction
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2023年 第PLDI期7卷 1633-1656页
作者: Chida, Nariyoshi Terauchi, Tachio Waseda Univ NTT Social Informat Labs Tokyo Japan Waseda Univ Tokyo Japan
While synthesizing and repairing regular expressions (regexes) based on programming-by-examples (PBE) methods have seen rapid progress in recent years, all existing works only support synthesizing or repairing regexes... 详细信息
来源: 评论
Repairing Regex-Dependent String Functions  24
Repairing Regex-Dependent String Functions
收藏 引用
39th ACM/IEEE International Conference on Automated Software Engineering (ASE)
作者: Chida, Nariyoshi Terauchi, Tachio NTT Social Informat Labs Tokyo Japan Waseda Univ Tokyo Japan
Regex-dependent string functions are string functions that take regular expressions (regexes) as parameters and are popular means of manipulating strings. They are frequently used for, e.g., string transformation and ... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
RULER: Prebugging with Proxy-Based programming
RULER: Prebugging with Proxy-Based Programming
收藏 引用
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
作者: Repenning, Alexander Basawapatna, Ashok FHNW Switzerland Sch Educ Brugg Switzerland SUNY Old Westbury Math Comp & Informat Sci Long Isl City NY USA
While block-based programming has successfully eliminated critical syntactic barriers to programming, it remains unclear how effectively it aids in overcoming semantic, logical, and pragmatic programming challenges th... 详细信息
来源: 评论
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... 详细信息
来源: 评论