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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

228 篇 会议
112 篇 期刊文献
8 篇 学位论文

馆藏范围

348 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

315 篇 工学
- 252 篇 计算机科学与技术...
- 163 篇 软件工程
- 51 篇 电气工程
- 30 篇 控制科学与工程
- 23 篇 信息与通信工程
- 3 篇 机械工程
- 3 篇 土木工程
- 2 篇 仪器科学与技术
- 2 篇 建筑学
- 1 篇 力学（可授工学、理...
- 1 篇 航空宇航科学与技...
- 1 篇 网络空间安全
32 篇 管理学
- 30 篇 管理科学与工程(可...
- 8 篇 图书情报与档案管...
- 3 篇 工商管理
9 篇 法学
- 9 篇 社会学
6 篇 教育学
- 4 篇 心理学(可授教育学...
- 2 篇 教育学
5 篇 理学
- 3 篇 生物学
- 2 篇 数学
- 2 篇 化学
- 1 篇 系统科学
- 1 篇 生态学
3 篇 文学
- 2 篇 新闻传播学
2 篇 经济学
- 2 篇 应用经济学
1 篇 农学
1 篇 艺术学
- 1 篇 艺术学理论

主题

348 篇 end-user program...
25 篇 spreadsheets
24 篇 visual programmi...
23 篇 end-user softwar...
16 篇 end-user develop...
15 篇 debugging
13 篇 programming by d...
12 篇 design
11 篇 mashups
11 篇 smart home
10 篇 program synthesi...
9 篇 internet of thin...
9 篇 languages
9 篇 machine learning
9 篇 human factors
8 篇 trigger-action p...
8 篇 computational th...
7 篇 iot
7 篇 robot programmin...
7 篇 participatory de...

机构

18 篇 oregon state uni...
9 篇 oregon state uni...
8 篇 univ washington ...
7 篇 carnegie mellon ...
6 篇 univ cambridge c...
6 篇 brown univ provi...
6 篇 microsoft res ca...
5 篇 carnegie mellon ...
4 篇 microsoft corp r...
4 篇 mit csail cambri...
4 篇 oregon state uni...
3 篇 univ edinburgh e...
3 篇 univ washington ...
3 篇 johannes kepler ...
3 篇 karlsruhe inst t...
3 篇 software compete...
3 篇 univ washington ...
3 篇 univ lugano fac ...
3 篇 univ chicago il ...
3 篇 univ cambridge c...

作者

16 篇 burnett margaret
10 篇 scaffidi christo...
7 篇 ur blase
7 篇 weigelt sebastia...
6 篇 burnett m
6 篇 cao jill
6 篇 scaffidi chris
6 篇 gulwani sumit
6 篇 cakmak maya
6 篇 littman michael ...
5 篇 tichy walter f.
5 篇 chang kerry shih...
5 篇 myers brad
5 篇 myers brad a.
5 篇 sarkar advait
4 篇 lopez genoveva
4 篇 wiedenbeck susan
4 篇 karger david r.
4 篇 winterer mario
4 篇 lizcano david

语言

330 篇 英文
16 篇 其他
2 篇 中文

检索条件"主题词=End-user Programming"

共 348 条记录，以下是191-200 订阅

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

详细简洁

排序：

Building an Interface for Controlling IoT Devices 5

Building an Interface for Controlling IoT Devices

引用

IEEE/ACM 5th International Workshop on Software Engineering Research and Practices for the Internet of Things (SERP4IoT)

作者： Reiss, Steven P. Brown Univ Dept Comp Sci Providence RI 02912 USA

ISBN: (纸本)9798350301885

As more and more devices become available and interconnected, there is a growing need for end users to control the devices in a programmatic manner. Our prior work explored end-user programming models for the Internet of Things (IoT). We started with the premise that current trigger-based approaches, while helpful, are not sufficient. What is needed was a more program-oriented, continuous approach for handling more complex devices. Our prior work explored different strategies for such a continuous approach. In this paper we detail the lessons learned and outline our current directions aimed at creating a practical system.

关键词： Internet of things end-user programming debugging program understanding

来源：评论

学校读者我要写书评

暂无评论

Cooperation Definition Method for Smart Appliances with Single Colloquial Sentence 4

Cooperation Definition Method for Smart Appliances with Sing...

引用

3rd International Conference On Advanced Informatics - Concepts, Theory And Application (ICAICTA)

作者： Nakazawa, Ryo Ohmura, Ren Toyohashi Univ Technol Dept Comp Sci & Engn Toyohashi Aichi Japan

ISBN: (纸本)9781509016365

In recent days, a lot of appliances with a processor and communication function are developed along the progress of computer technology. They are expected to support our daily life with their cooperation on home network. Since everyone has own lifestyles and demands, building a program on the network by residents themselves is necessary for obtaining appropriate supports. However, it is quite difficult for general people to build an own program. In this study, thus, we propose a method to build a simple program in which appliances cooperate using a colloquial instruction sentence. Our method defines an event and an action of ECA rule, which works on each appliance, by selecting pre-defined clauses in natural language, as well as automatically assigns corresponding appliances. The usability evaluation showed that our method ease a program cooperating appliances.

关键词： end-user programming rule-based programming home network sensor network home automation home network system

来源：评论

学校读者我要写书评

暂无评论

Authoring Human Simulators via Probabilistic Functional Reactive Program Synthesis 22

Authoring Human Simulators via Probabilistic Functional Reac...

引用

17th Annual ACM/IEEE International Conference on Human-Robot Interaction (HRI)

作者： Chung, Michael Jae-Yoon Cakmak, Maya Univ Washington Comp Sci & Engn Seattle WA 98195 USA

ISBN: (数字)9781665407311

ISBN: (纸本)9781665407311

One of the core challenges in creating interactive behaviors for social robots is testing. Programs implementing the interactive behaviors require real humans to test and this requirement makes testing of the programs extremely expensive. To address this problem, human-robot interaction researchers in the past proposed using human simulators. However, human simulators are tedious to set up and context-dependent and therefore are not widely used in practice. We propose a program synthesis approach to building human simulators for the purpose of testing interactive robot programs. Our key ideas are (1) representing human simulators as probabilistic functional reactive programming programs and (2) using probabilistic inference for synthesizing human simulator programs. Programmers then will be able to build human simulators by providing interaction traces between a robot and a human or two humans which they can later use to test interactive robot programs and improve or tweak as needed.

关键词： probabilistic programming program synthesis end-user programming social robots

来源：评论

学校读者我要写书评

暂无评论

A System for Developing Tablet PC Applications for Education 08

A System for Developing Tablet PC Applications for Education

引用

39th ACM Technical Symposium on Computer Science Education

作者： Kamin, Sam Hines, Michael Peiper, Chad Capitanu, Boris Univ Illinois Dept Comp Sci Urbana IL 61801 USA

ISBN: (纸本)9781595939470

We describe a new system for building Tablet PC-based classroom software. The system, called SLICE, is built for extensibility, using a unique "explicit state" model. Applications developed thus far include presentation, classroom interaction, shared code review, and exam grading. The paper presents an overview of the system and describes these four applications. It then explains the extensibility model, showing how users can add new features.

关键词： Tablet PC educational technology end-user programming

来源：评论

学校读者我要写书评

暂无评论

Extending a Reactive Expression Language with Data Update Actions for end-user Application Authoring 18

Extending a Reactive Expression Language with Data Update Ac...

引用

31st Annual ACM Symposium on user Interface Software and Technology (UIST)

作者： Verou, Lea Alrashed, Tarfah Karger, David Ron MIT CSAIL Cambridge MA 02139 USA

ISBN: (纸本)9781450359481

Mavo is a small extension to the HTML language that empowers non-programmers to create simple web applications. Authors can mark up any normal HTML document with attributes that specify data elements that Mavo makes editable and persists. But while applications authored with Mavo allow users to edit individual data items, they do not offer any programmatic data actions that can act in customizable ways on large collections of data simultaneously or that modify data according to a computation. We explore an extension to the Mavo language that enables non-programmers to author these richer data update actions. We show that it lets authors create a more powerful set of applications than they could previously, while adding little additional complexity to the authoring process. Through user evaluations, we assess how closely our data update syntax matches how novice authors would instinctively express such actions, and how well they are able to use the syntax we provided.

关键词： Web design end-user programming Information architecture Semantic publishing Dynamic Media Web Query languages Data updates Reactive programming

来源：评论

学校读者我要写书评

暂无评论

From Barriers to Learning in the Idea Garden: An Empirical Study

From Barriers to Learning in the Idea Garden: An Empirical S...

引用

IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

作者： Cao, Jill Kwan, Irwin White, Rachel Fleming, Scott D. Burnett, Margaret Scaffidi, Christopher Oregon State Univ Sch Elect Engn & Comp Sci Corvallis OR 97331 USA Univ Memphis Dept Comp Sci Memphis TN 38152 USA

ISBN: (纸本)9781467308502

How can end-user programming environments better help their users overcome programming barriers? We have been investigating an approach called Idea Gardening, which addresses this problem by helping end users to help themselves overcome barriers in the context of "doing". In this paper, we report on a qualitative empirical study of how effectively an Idea Garden prototype helped end users overcome programming barriers in the CoScripter environment, and the extent to which participants learned after interacting with our features. Our results showed that 9 out of 10 participants who encountered barriers and then used the Idea Garden, overcame their barriers. Further, all 9 went on to demonstrate evidence of having learned the programming concepts, patterns, and strategies relevant to overcoming these barriers.

关键词： end-user programming Idea Garden learning

来源：评论

学校读者我要写书评

暂无评论

Computational Thinking Tools

Computational Thinking Tools

引用

IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

作者： Repenning, Alexander Basawapatna, Ashok Escherle, Nora Univ Colorado Boulder CO 80309 USA FHNW Sch Educ CH-5200 Brugge Switzerland SUNY Coll Old Westbury Dept Math & Comp Informat Syst Old Westbury NY 11568 USA

ISBN: (纸本)9781509002528

Computational Thinking is an essential skill for all students in the 21st Century. A fundamental question is how can we create computer affordances to empower novice teachers and students, in a variety of STEM and art disciplines, to think computationally while avoiding difficult overhead emerging from traditional coding? Over the last 20 years we have iteratively developed tools that aim to support computational thinking. As these tools evolved a philosophy emerged to support Computational Thinking by joining human abilities with computer affordances. Chief among these findings is that supporting Computational Thinking is much more than making coding accessible. Computational Thinking Tools aim to minimize coding overhead by supporting users through three fundamental stages of the Computational Thinking development cycle: problem formulation, solution expression, and solution execution/evaluation.

关键词： computational thinking tools end-user programming K-12 education computational thinking

来源：评论

学校读者我要写书评

暂无评论

Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships 22

Tisane: Authoring Statistical Models via Formal Reasoning fr...

引用

CHI Conference on Human Factors in Computing Systems (CHI)

作者： Jun, Eunice Seo, Audrey Heer, Jeffrey Just, Rene Univ Washington Seattle WA 98195 USA

ISBN: (纸本)9781450391573

Proper statistical modeling incorporates domain theory about how concepts relate and details of how data were measured. However, data analysts currently lack tool support for recording and reasoning about domain assumptions, data collection, and modeling choices in an integrated manner, leading to mistakes that can compromise scientific validity. For instance, generalized linear mixed-effects models (GLMMs) help answer complex research questions, but omitting random effects impairs the generalizability of results. To address this need, we present Tisane, a mixed-initiative system for authoring generalized linear models with and without mixed-effects. Tisane introduces a study design specification language for expressing and asking questions about relationships between variables. Tisane contributes an interactive compilation process that represents relationships in a graph, infers candidate statistical models, and asks follow-up questions to disambiguate user queries to construct a valid model. In case studies with three researchers, we find that Tisane helps them focus on their goals and assumptions while avoiding past mistakes.

关键词： statistical analysis linear modeling end-user programming end-user elicitation domain-specifc language transparent statistics validity

来源：评论

学校读者我要写书评

暂无评论

Choreography of web services based on natural language storybooks

Choreography of web services based on natural language story...

引用

8th International Conference on Electronic Commerce (ICEC 2006)

作者： Englmeier, Kurt Pereira, Javier Mothe, Josiane LemonLabs GmbH D-80469 Munich Germany

ISBN: (纸本)1595933921

Universally available services, which communicate in a standardized way, can provide a new generation of middleware. Harnessing the advantages of this promising middleware technology, however, means to be capable to understand and to handle its design language which emerges from standards like SOAP, WSDL, BPEL, etc. These languages are necessary for finding, composing and orchestrating web services. If at all, only IT experts are familiar with these languages. The key actors, the domain experts of business processes, however, are not IT experts, and thus do not become the main designers. WS-Talk is a research project that encourages the coexistence of Natural Language and Web service technology. It reinforces the role of domain experts in designing business processes without having to resort to their IT colleagues. In our approach business process experts write storybooks in their own language. Their instructions are matched with semantics that represent application logic that, in turn, supports the automatic composition of software components. The WS-Talk products currently support organizations in managing their own and individual information;i.e. to set up their own enterprise search engine.

关键词： semantic web standards enterprise search systems web service orchestration web service choreography end-user programming

来源：评论

学校读者我要写书评

暂无评论

A Proposal for Development of Software to Support Specific Learning Difficulties

A Proposal for Development of Software to Support Specific L...

引用

12th International Conference on Telecommunications (ConTEL)

作者： Hamzabegovic, Jasna Kalpic, Damir Univ Bihac Pedag Fac Dept Math & Informat Bihac Bosnia & Herceg

ISBN: (纸本)9789531841801;9781467359849

Among the plenty of educational software, therapeutic software for dyslexia is not so abundant. The paper considers two different approaches to development of software for supporting specific learning difficulties. One could be offering of visual end user programming tools to speech and language pathologists so that they could develop specific software applications customized for their patients. The other approach could be the engagement of students majoring in educational sciences who are studying informatics as their secondary discipline to develop applications. Paper presents concept of end user development environment aimed for speech and language pathologistsas well as educational pilot-applications developed by the students.

关键词： end-user programming speech and language pathologists dyslexia therapeutic software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共35页 << < 16 17 18 19 20 21 22 23 24 25 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：