咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
Foofah: A programming-By-example System for Synthesizing Data Transformation Programs  17
Foofah: A Programming-By-Example System for Synthesizing Dat...
收藏 引用
ACM International Conference on Management of Data
作者: Jin, Zhongjun Anderson, Michael R. Cafarella, Michael Jagadish, H., V Univ Michigan Ann Arbor MI 48109 USA
Advancements in new data analysis and visualization technologies have resulted in wide applicability of data-driven decision making. However, raw data from various sources must be wrangled into a suitable form before ... 详细信息
来源: 评论
EAGER. programming repetitive tasks by example
EAGER. Programming repetitive tasks by example
收藏 引用
Human Factors in Computing Systems - CHI'91
作者: Cypher, Allen Advanced Technology Group Apple Computer Inc. Cupertino CA 95014 United States
Eager is a programming by example system for the HyperCard environment. It constantly monitors the user's activities, and when it detects an iterative pattern, it writes a program to complete the iteration. Progra... 详细信息
来源: 评论
Program synthesis algorithm based on context consistency heuristic
收藏 引用
INTERNATIONAL JOURNAL OF MACHINE LEARNING AND CYBERNETICS 2024年 第2期15卷 559-571页
作者: Dou, Quansheng Pan, Hao Tang, Huanling Jiang, Ping Wang, Huixian Shandong Technol & Business Univ Coll Comp Sci & Technol 191 Binhai Middle Rd Yantai 264005 Shandong Peoples R China Shandong Technol & Business Univ Coll Informat & Elect Engn 191 Binhai Middle Rd Yantai 264005 Shandong Peoples R China Kashi Univ Sch Comp Sci & Technol 29 Xueyuan Rd Kashi 844006 Xinjiang Peoples R China
programming-by-example (PBE) is a program synthesis technique that automatically synthesizes computer programs from input-output (I/O) examples. There are many approaches to program synthesis, and one of the most comm... 详细信息
来源: 评论
Neural Network Approach to Program Synthesis for Tabular Transformation by example
收藏 引用
IEEE ACCESS 2022年 10卷 24864-24876页
作者: Ujibashi, Yoshifumi Takasu, Atsuhiro Grad Univ Adv Studies SOKENDAI Dept Informat Hayama Kanagawa 2400193 Japan Fujitsu Ltd Nakahara Ku Kawasaki Kanagawa 2118588 Japan Natl Inst Informat Chiyoda Ku Tokyo 1018430 Japan
Data transformation is a laborious and time-consuming task for analysts. programming by example (PBE) is a technique that can simplify this difficult task for data analysts by automatically generating programs for dat... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Customization of Web applications through an intelligent environment exploiting logical interface descriptions
收藏 引用
INTERACTING WITH COMPUTERS 2008年 第1期20卷 29-47页
作者: Macias, Jose A. Paterno, Fablo ISTI CNR I-56124 Pisa Italy
Customization of Web-based applications is often considered a designer skill rather than an end-user need. However, there is an ongoing shift to end-user-centred technology, and even users with poor or no skill in Web... 详细信息
来源: 评论
Integrating user interface agents with conventional applications
收藏 引用
KNOWLEDGE-BASED SYSTEMS 1998年 第1期11卷 15-23页
作者: Lieberman, H MIT Media Lab Cambridge MA 02139 USA
In most experiments with user interface agents to date, it has been necessary either to implement both the agent and the application from scratch, or to modify the code of an existing application to enable the necessa... 详细信息
来源: 评论
Providing end-user facilities to simplify ontology-driven web application authoring
收藏 引用
INTERACTING WITH COMPUTERS 2007年 第4期19卷 563-585页
作者: Macias, Jose A. Castells, Pablo Univ Autonoma Madrid Dept Ingn Informat Escuela Politecn Super Madrid 28059 Spain
Generally speaking, emerging web-based technologies are mostly intended for professional developers. They pay poor attention to users who have no programming abilities but need to customize software applications. At s... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Synbit: synthesizing bidirectional programs using unidirectional sketches
收藏 引用
FORMAL METHODS IN SYSTEM DESIGN 2022年 第2-3期61卷 198-247页
作者: Yamaguchi, Masaomi Matsuda, Kazutaka David, Cristina Wang, Meng Tohoku Univ Grad Sch Informat Sci Sendai Miyagi Japan Fujitsu Kawasaki Japan Univ Bristol Bristol BS8 1QU Avon England
We propose a technique for synthesizing bidirectional programs from the corresponding unidirectional code plus input/output examples. The core ideas are: (1) constructing a sketch using the given unidirectional progra... 详细信息
来源: 评论