检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

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 条记录，以下是71-80 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Foofah: Transforming Data By example 17

Foofah: Transforming Data By Example

引用

ACM International Conference on Management of Data

作者： Jin, Zhongjun Anderson, Michael R. Cafarella, Michael Jagadish, H., V Univ Michigan Ann Arbor MI 48109 USA

ISBN: (纸本)9781450341974

Data transformation is a critical first step in modern data analysis: before any analysis can be done, data from a variety of sources must be wrangled into a uniform format that is amenable to the intended analysis and analytical software package. This data transformation task is tedious, time-consuming, and often requires programming skills beyond the expertise of data analysts. In this paper, we develop a technique to synthesize data transformation programs by example, reducing this burden by allowing the analyst to describe the transformation with a small input-output example pair, without being concerned with the transformation steps required to get there. We implemented our technique in a system, FOOFAH, that efficiently searches the space of possible data transformation operations to generate a program that will perform the desired transformation. We experimentally show that data transformation programs can be created quickly with FOOFAH for a wide variety of cases, with 60% less user effort than the well-known WRANGLER system.

关键词： Data Transformation Program Synthesis programming by example A* algorithm Heuristic

来源：评论

学校读者我要写书评

暂无评论

Interactive Parser Synthesis by example 15

Interactive Parser Synthesis by Example

引用

36th ACM SIGPLAN Conference on programming Language Design and Implementation

作者： Leung, Alan Sarracino, John Lerner, Sorin Univ Calif San Diego San Diego CA 92103 USA

ISBN: (纸本)9781450334686

Despite decades of research on parsing, the construction of parsers remains a painstaking, manual process prone to subtle bugs and pitfalls. 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. To achieve this, Parsify provides: (a) an iterative algorithm for synthesizing and refining a grammar one example at a time, (b) an interface that provides immediate visual feedback in response to changes in the grammar being refined, and (c) a graphical mechanism for specifying example parse trees using only textual selections. We empirically demonstrate the viability of our approach by using Parsify to construct parsers for source code drawn from Verilog, SQL, Apache, and Tiger.

关键词： Algorithms Human Factors Languages Parsing programming by example Program Synthesis

来源：评论

学校读者我要写书评

暂无评论

StriSynth: Synthesis for Live programming 37

StriSynth: Synthesis for Live Programming

引用

IEEE/ACM 2nd International Workshop on Software Architecture and Metrics (SAM)

作者： Gulwani, Sumit Mayer, Mikael Niksic, Filip Piskac, Ruzica Microsoft Res Redmond Redmond WA USA Ecole Polytech Fed Lausanne Lausanne Switzerland MPI SWS Kaiserslautern Germany Yale Univ New Haven CT 06520 USA

ISBN: (纸本)9781479919345

Motivated by applications in automating repetitive file manipulations, we present a tool called StriSynth, which allows end-users to perform transformations over data using examples. Based on provided examples, our tool automatically generates scripts for non-trivial file manipulations. Although the current focus of StriSynth are file manipulations, it implements a more general string transformation framework. This framework builds on and further extends the functionality of Flash Fill-a Microsoft Excel extension for string transformations. An accompanying video to this paper is available at the following website http://***/kkDZphqIdFM.

关键词： File Manipulation Live programming programming by example Scripting Synthesis

来源：评论

学校读者我要写书评

暂无评论

NoFAQ: Synthesizing Command Repairs from examples 2017

NoFAQ: Synthesizing Command Repairs from Examples

引用

11th Joint Meeting of European Software Engineering Conference (ESEC) / ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)

作者： D'Antoni, Loris Singh, Rishabh Vaughn, Michael Univ Wisconsin Madison WI 53706 USA Microsoft Res Redmond WA USA

ISBN: (纸本)9781450351058

Command-line tools are confusing and hard to use due to their cryptic error messages and lack of documentation. Novice users often resort to online help-forums for finding corrections to their buggy commands, but have a hard time in searching precisely for posts that are relevant to their problem and then applying the suggested solutions to their buggy command. We present NoFAQ, a tool that uses a set of rules to suggest possible fixes when users write buggy commands that trigger commonly occurring errors. The rules are expressed in a language called FIXIT and each rule pattern-matches against the user's buggy command and corresponding error message, and uses these inputs to produce a possible fixed command. NoFAQ automatically learns FIXIT rules from examples of buggy and repaired commands. We evaluate NoFAQ on two fronts. First, we use 92 benchmark problems drawn from an existing tool and show that NoFAQ is able to synthesize rules for 81 benchmark problems in real time using just 2 to 5 input-output examples for each rule. Second, we run our learning algorithm on the examples obtained through a crowd-sourcing interface and show that the learning algorithm scales to large sets of examples.

关键词： Domain Specific Languages programming by example Program Synthesis Program Repair Command Line Interface

来源：评论

学校读者我要写书评

暂无评论

Democratizing Self-Service Data Preparation Through example Guided Program Synthesis,

Democratizing Self-Service Data Preparation Through Example ...

引用

作者： Jin, Zhongjun University of Michigan

学位级别：Ph.D.

The majority of real-world data we can access today have one thing in common: they are not immediately usable in their original state. Trapped in a swamp of data usability issues like non-standard data formats and heterogeneous data sources, most data analysts and machine learning practitioners have to burden themselves with "data janitor" work, writing ad-hoc Python, PERL or SQL scripts, which is tedious and inefficient. It is estimated that data scientists or analysts typically spend 80% of their time in preparing data, a significant amount of human effort that can be redirected to better goals. In this dissertation, we accomplish this task by harnessing knowledge such as examples and other useful hints from the end user. We develop program synthesis techniques guided by heuristics and machine learning, which effectively make data preparation less painful and more efficient to perform by data users, particularly those with little to no programming experience. Data transformation, also called data wrangling or data munging, is an important task in data preparation, seeking to convert data from one format to a different (often more structured) format. Our system Foofah shows that allowing end users to describe their desired transformation, through providing small input-output transformation examples, can significantly reduce the overall user effort. The underlying program synthesizer can often succeed in finding meaningful data transformation programs within a reasonably short amount of time. Our second system, CLX, demonstrates that sometimes the user does not even need to provide complete input-output examples, but only label ones that are desirable if they exist in the original dataset. The system is still capable of suggesting reasonable and explainable transformation operations to fix the non-standard data format issue in a dataset full of heterogeneous data with varied formats. PRISM, our third system, targets a data preparation task of data integration, i.e.,

关键词： data preparation program synthesis human-in-the-loop programming by example data transformation data wrangling Thesis

来源：评论

学校读者我要写书评

暂无评论

Assessing and Improving Code Transformations to Support Software Evolution

Assessing and Improving Code Transformations to Support Soft...

引用

作者： Gustavo Jansen De Souza Santos Universite de Lille

学位级别：博士

In software development, change is the only constant. Software systems some- times evolve in a substantial way, for example, by migrating the system to a new architecture, or by updating the APIs on which the system depends. During this process, sequences of code transformations (e. g., create a class, implement a given interface, then override a method) are systematically performed in the system (e. g., to some classes in the same hierarchy or package). Due to the repetitive nature of these transformations, some automated support is needed to ensure that these sequences of transformations are consistently applied to the entire system. One solution to deal with systematic code transformation is to allow devel- opers to compose their own sequences of code transformations. These sequences may be defined manually, e. g., by using a language to specify each transformation, or they may be identified from one or more concrete examples of transformations provided by the developer. We argue that existing approaches lack the definition of sequences that are: (i) specific to the system to which they were applied; (ii) eventually complex, i. e., not fully supported by existing refactoring tools; (iii) not localized, i. e., several code entities can be affected at each occurrence of the se- quence; and (iv) self-aware of potential violations that might be introduced as consequence of these transformations. In this thesis we propose to improve source code transformations to better sup- port developers performing more complex and systematic code transformations. We cover two aspects: • The automated support to compose and apply sequences of code transfor- mations. We undergo an investigation on the existence of these sequences in real-world software systems. We propose a tool to automatically apply these sequences in the systems we analyzed. • The detection of design violations during a transformation effort. We un- dergo an investigation on cases of systematic application of ref

关键词： software evolution software maintenance automated code transformation programming by example source code transformation

来源：评论

学校读者我要写书评

暂无评论

Mixed-Initiative Approaches to Global Editing in Slideware 15

Mixed-Initiative Approaches to Global Editing in Slideware

引用

33rd Annual CHI Conference on Human Factors in Computing Systems (CHI)

作者： Edge, Darren Gulwani, Sumit Milic-Frayling, Natasa Raza, Mohammad Saputra, Reza Adhitya Wang, Chao Yatani, Koji Microsoft Res Beijing Peoples R China Microsoft Res Redmond WA USA Microsoft Res Cambridge England Univ Waterloo Waterloo ON Canada Univ Tokyo Tokyo Japan

ISBN: (纸本)9781450331456

Good alignment and repetition of objects across presentation slides can facilitate visual processing and contribute to audience understanding. However, creating and maintaining such consistency during slide design is difficult. In order to solve this problem, we present two complementary tools: (1) StyleSnap, which increases the alignment and repetition of objects by adaptively clustering object edge positions and allowing parallel editing of all objects snapped to the same spatial extent;and (2) FlashFormat, which infers the least-general generalization of editing examples and applies it throughout the selected range. In user studies of repetitive styling task performance, StyleSnap and FlashFormat were 4-5 times and 2-3 times faster than conventional editing, respectively. Both use a mixed-initiative approach to improve the consistency of slide decks and generalize to any situations involving editing across disjoint visual spaces.

关键词： Presentations visual consistency layout editing snapping programming by example least-general generalization

来源：评论

学校读者我要写书评

暂无评论

Web Question Answering with Neurosymbolic Program Synthesis 2021

Web Question Answering with Neurosymbolic Program Synthesis

引用

42nd ACM SIGPLAN International Conference on programming Language Design and Implementation (PLDI)

作者： Chen, Qiaochu Lamoreaux, Aaron Wang, Xinyu Durrett, Greg Bastani, Osbert Dillig, Isil Univ Texas Austin Austin TX 78712 USA Univ Michigan Ann Arbor MI 48109 USA Univ Penn Philadelphia PA 19104 USA

ISBN: (纸本)9781450383912

In this paper, we propose a new technique based on program synthesis for extracting information from webpages. Given a natural language query and a few labeled webpages, our method synthesizes a program that can be used to extract similar types of information from other unlabeled webpages. To handle websites with diverse structure, our approach employs a neurosymbolic DSL that incorporates both neural NLP models as well as standard language constructs for tree navigation and string manipulation. We also propose an optimal synthesis algorithm that generates all DSL programs that achieve optimal F-1 score on the training examples. Our synthesis technique is compositional, prunes the search space by exploiting a monotonicity property of the DSL, and uses transductive learning to select programs with good generalization power. We have implemented these ideas in a new tool called WEBQA and evaluate it on 25 different tasks across multiple domains. Our experiments show that WEBQA significantly outperforms existing tools such as state-of-the-art question answering models and wrapper induction systems.

关键词： Program Synthesis programming by example Web Information Extraction

来源：评论

学校读者我要写书评

暂无评论

Intelligent Support for End-User Web Interface Customization

Intelligent Support for End-User Web Interface Customization

引用

Engineering Interactive Systems (EIS 2007) - Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007

作者： Macias, Jose A. Paterno, Fabio Univ Autonoma Madrid De Colmenar Km 15 E-28049 Madrid Spain Univ Pisa CNR ISTI I-56124 Pisa Italy

ISBN: (纸本)9783540926979

Nowadays, while the number of users of interactive software steadily increase, new applications and systems appear and provide further complexity. An example of such systems is represented by multi-device applications, where the user can interact with the system through different platforms. However, providing end-users;with real capabilities to author user interfaces is still a problematic issue, which is beyond the ability of most end-users today. In this paper, we present an approach intended to enable users to modify Web interfaces easily, considering implicit user intents inferred from example interface modifications carried out by the user. We discuss the design issues involved in the implementation of such all intelligent approach, also reporting on some experimental results obtained from a User test.

关键词： End-User Development Intelligent User Interfaces Model-Based Design of User Interfaces programming by example

来源：评论

学校读者我要写书评

暂无评论

Interpretable program synthesis 21

Interpretable program synthesis

引用

2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths, CHI 2021

作者： Zhang, Tianyi Chen, Zhiyang Harvard University CambridgeMA United States

ISBN: (纸本)9781450380966

Program synthesis, which generates programs based on user-provided specifcations, can be obscure and brittle: users have few ways to understand and recover from synthesis failures. We propose interpretable program synthesis, a novel approach that unveils the synthesis process and enables users to monitor and guide a *** designed three representations that explain the underlying synthesis process with diferent levels of fdelity. We implemented an interpretable synthesizer for regular expressions and conducted a within-subjects study with eighteen participants on three challenging regex tasks. With interpretable synthesis, participants were able to reason about synthesis failures and provide strategic feedback, achieving a signifcantly higher success rate compared with a state-of-the-art synthesizer. In particular, participants with a high engagement tendency (as measured by NCS-6) preferred a deductive representation that shows the synthesis process in a search tree, while participants with a relatively low engagement tendency preferred an inductive representation that renders representative samples of programs enumerated during synthesis. © 2021 ACM.

关键词： programming by example Interpretability Program synthesis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共9页 << < 1 2 3 4 5 6 7 8 9 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：