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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

425 篇 会议
271 篇 期刊文献
22 篇 学位论文
2 册 图书
1 篇 资讯

馆藏范围

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

日期分布

学科分类号

587 篇 工学
- 439 篇 计算机科学与技术...
- 213 篇 软件工程
- 110 篇 电气工程
- 47 篇 控制科学与工程
- 35 篇 信息与通信工程
- 29 篇 土木工程
- 24 篇 建筑学
- 13 篇 机械工程
- 12 篇 仪器科学与技术
- 12 篇 材料科学与工程（可...
- 9 篇 电子科学与技术（可...
- 7 篇 石油与天然气工程
- 5 篇 化学工程与技术
- 4 篇 动力工程及工程热...
- 4 篇 交通运输工程
73 篇 教育学
- 71 篇 教育学
- 7 篇 心理学(可授教育学...
72 篇 管理学
- 64 篇 管理科学与工程(可...
- 5 篇 工商管理
63 篇 理学
- 23 篇 数学
- 20 篇 物理学
- 11 篇 生物学
- 7 篇 化学
- 6 篇 地球物理学
- 6 篇 统计学（可授理学、...
- 4 篇 系统科学
19 篇 医学
- 10 篇 临床医学
- 7 篇 基础医学(可授医学...
- 6 篇 特种医学
5 篇 农学
- 5 篇 作物学
4 篇 艺术学
3 篇 法学
2 篇 经济学
2 篇 文学
1 篇 历史学

主题

721 篇 visual programmi...
30 篇 computer science...
29 篇 computational th...
26 篇 visualization
24 篇 end-user program...
22 篇 education
20 篇 visual languages
18 篇 programming
18 篇 scratch
17 篇 programming envi...
14 篇 end-user develop...
14 篇 user interface
13 篇 deep learning
13 篇 rapid prototypin...
13 篇 graphical user i...
13 篇 formal specifica...
13 篇 virtual reality
13 篇 robotics
13 篇 human-computer i...
12 篇 internet of thin...

机构

7 篇 swiss fed inst t...
6 篇 victoria univ we...
5 篇 inesc tec porto
5 篇 forth inst comp ...
5 篇 brno university ...
5 篇 arizona state un...
5 篇 swiss fed inst t...
4 篇 oregon state uni...
4 篇 carnegie mellon ...
4 篇 univ porto fac e...
4 篇 univ crete dept ...
3 篇 univ texas dept ...
3 篇 naval postgradua...
3 篇 vanderbilt univ ...
3 篇 vanderbilt unive...
3 篇 virginia tech de...
3 篇 google res mount...
3 篇 oregon state uni...
2 篇 google res ca 94...
2 篇 laboratory of bu...

作者

8 篇 thorgeirsson sve...
8 篇 savidis anthony
7 篇 homer michael
7 篇 su zhendong
6 篇 dias joao pedro
5 篇 zhang k
4 篇 broll brian
4 篇 valsamakis yanni...
4 篇 ferreira hugo se...
4 篇 maroti miklos
4 篇 ledeczi akos
4 篇 sengupta pratim
4 篇 dobesova zdena
4 篇 du ruofei
4 篇 de luca gennaro
4 篇 weidmann theo b.
4 篇 chen yinong
3 篇 mueller peter
3 篇 lopez genoveva
3 篇 jin jing

语言

683 篇 英文
33 篇 其他
4 篇 中文
1 篇 西班牙文

检索条件"主题词=Visual Programming"

共 721 条记录，以下是451-460 订阅

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

详细简洁

排序：

What you see is what you test: A methodology for testing form-based visual programs

What you see is what you test: A methodology for testing for...

引用

20th International Conference on Software Engineering - Forging New Links (ICSE 98)

作者： Rothermel, G Li, LX DuPuis, C Burnett, M Oregon State Univ Dept Comp Sci Corvallis OR 97331 USA

ISBN: (纸本)0818683686

Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows. however, that form-based visual programs often contain faults. We would like to provide at least some of the benefits of formal testing methodologies to the creators of these programs. This paper presents a testing methodology for form-based visual programs. To accommodate the evaluation model used with these programs, and the interactive process by which they are created. our methodology is validation-driven and incremental. To accommodate the users of these languages, we provide an interface to the methodology that does not require an understanding of testing theory. We discuss our implementation of this methodology and empirical results achieved in its use.

关键词： software testing visual programming spreadsheets

来源：评论

学校读者我要写书评

暂无评论

Enabling Programmability of Smart Learning Environments by Teachers 3rd

Enabling Programmability of Smart Learning Environments by T...

引用

3rd International Conference on Distributed, Ambient, and Pervasive Interactions (DAPI) held as Part of 17th International Conference on Human-Computer Interaction (HCI)

作者： Leonidis, Asterios Antona, Margherita Stephanidis, Constantine Fdn Res & Technol Hellas FORTH Inst Comp Sci Iraklion 70013 Crete Greece Univ Crete Dept Comp Sci Iraklion Greece

ISBN: (纸本)9783319208046;9783319208039

The evolution of Information Technology (IT) and the emergence of the Ambient Intelligence paradigm have drastically affected the way users live and learn. Ambient Intelligence is a vision of the future that offers great opportunities to enrich everyday activities (e.g., on the road, at home, at work, etc.) and has been proven to play an important role in education. In smart learning environments, learning activities are enhanced with the use of pervasive and mobile computing. This paper presents an extensible software infrastructure that empowers teachers to design and program purposeful and engaging learning activities for formal and informal learning environments, by combining and orchestrating cloud-based, ambient and pervasive facilities and services.

关键词： visual programming End-user development Ubiquitous environments Smart learning environments

来源：评论

学校读者我要写书评

暂无评论

Human-Robot Interaction Design Using Interaction Composer Eight Years of Lessons Learned 11

Human-Robot Interaction Design Using Interaction Composer Ei...

引用

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

作者： Glas, Dylan F. Kanda, Takayuki Ishiguro, Hiroshi ATR Hiroshi Ishiguro Labs Kyoto Japan ATR Intelligent Robot & Commun Labs Kyoto Japan Osaka Univ Intelligent Robot Lab Toyonaka Osaka Japan

ISBN: (纸本)9781467383691

Interaction Composer, a visual programming environment designed to enable programmers and non-programmers to collaboratively design social human-robot interactions in the form of state-based flows, has been in use at our laboratory for eight years. The system architecture and the design principles behind the framework have been presented in other work, but in this paper we take a case-study approach, examining several actual examples of the use of this toolkit over an eight-year period. We examine the structure and content of interaction flows, identify common design patterns, and discuss elements of the framework which have proven valuable, features which did not solve their intended purposes, and ways that future systems might better address these issues. It is hoped that the insights gained from this study will contribute to the development of more effective and more usable tools and frameworks for interaction design.

关键词： visual programming Social Robotics Interaction Design Design Patterns

来源：评论

学校读者我要写书评

暂无评论

External information sources in computer programming. The role of textual and graphical representations in support of complex problem solving activities

External information sources in computer programming. The ro...

引用

IEE Colloquium on Thinking with Diagrams (Digest No: 1996/010)

作者： S.P. Davies Department of Psychology University of Huĺl Hull UK

A number of emerging accounts of problem solving behaviour in complex domains have emphasised the role played by the external environment in the mediation of cognitive activity (Latkin, 1989). Theories of display-based problem solving seek to explain certain facets of behaviour by stressing the contribution of external memory sources as repositories for search control knowledge and intermediate state information. The main idea promoted by such models is that display-based strategies can partially supplant a complex goal structure by enabling problem solvers to substitute efficient perceptual operations for unreliable cognitive processes. One area in which the role of display-based problem solving has gained prominence is in the programming domain. This paper presents evidence for differences in the nature of programmers' information externalisation strategies. Two experiments are reported which suggest that experts rely much more upon the use of external memory sources in situations where the device they use to construct the program hinders the utilisation of a display. Experts tend to externalise low level information, mainly to aid simulation, whereas novices develop higher level representations which might be characterised as transformations or re-representations of the program typically of diagrammatic form. Moreover, in the case of experts the nature of externalised information appears to depend upon whether they are generating a program or comprehending it.

关键词： visual programming

来源：评论

学校读者我要写书评

暂无评论

ICY: A USER-FRIENDLY ENVIRONMENT FOR ALGORITHM DEVELOPMENT AND DEPLOYMENT

ICY: A USER-FRIENDLY ENVIRONMENT FOR ALGORITHM DEVELOPMENT A...

引用

21st European Signal Processing Conference (EUSIPCO)

作者： de Chaumont, Fabrice Dallongeville, Stephane Provoost, Thomas Lecomte, Timothee Dufour, Alexandre Olivo-Marin, Jean-Christophe Inst Pasteur Quantitat Image Anal Unit CNRS URA 2582 F-75015 Paris France

ISBN: (纸本)9780992862602

Bioimage informatics has emerged as a new interdisciplinary research endeavor for bringing the power of computational and mathematical sciences into the biological imaging arena. We describe an open-source software platform, Icy, that proposes a comprehensive framework for easy algorithm development and deployment fostering community-oriented efforts. Icy offers a platform to share and publish collaborative algorithm developments, while promoting re-usability and code sharing to ease the development of new algorithms, and simplifying user's feedback and support through a community web site.

关键词： Bioimage informatics open source automated image acquisition Java visual programming script reproducible research

来源：评论

学校读者我要写书评

暂无评论

Resource-based models of visual interaction: Understanding errors

Resource-based models of visual interaction: Understanding e...

引用

IEEE Symposium on visual Languages and Human-Centric Computing

作者： Bottoni, P Levialdi, S Univ Roma La Sapienza Dept Comp Sci Rome Italy

ISBN: (纸本)0769524435

We propose a resource-based model of human computer interaction, and discuss how WIP-POG, a rule-based language for multiset transformations, can support such a model. WIPPOG is here adopted as an enactment mechanism, for task models expressed by a visual notation. We exploit this resource-based perspective to model some common interaction errors and suggest possible prevention and mitigation strategies.

关键词： formal specification human computer interaction knowledge based systems visual languages visual programming WIPPOG error understanding human-computer interaction interaction error multiset transformation resource-based models rule-based language task mod computer human interaction visual languages visual programming Formal specifications rule base task models

来源：评论

学校读者我要写书评

暂无评论

Fostering Computational Thinking in Primary School through a LEGO®-based Music Notation 21

Fostering Computational Thinking in Primary School through a...

引用

21st International Conference on Knowledge - Based and Intelligent Information and Engineering Systems (KES)

作者： Barate, Adriano Ludovico, Luca A. Malchiodi, Dario Univ Milan Via Comelico 39 I-20135 Milan Italy

This paper presents a teaching methodology mixing elements from the domains of music and informatics as a key enabling to expose primary school pupils to basic aspects of computational thinking This methodology is organized in two phases exploiting LEGO bricks respectively as a physical tool and as a metaphor in order to let participants discover a simple notation encoding several basic concepts of the classical musical notation. The related activities, grounded on active learning theory, challenge groups of students to solve musical encoding problems of increasing difficulty. (C) 2017 The Authors. Published by Elsevier B.V.

关键词： Music Education visual programming

来源：评论

学校读者我要写书评

暂无评论

Metaphors for Software visualization Systems Based on Virtual Reality 6th

Metaphors for Software Visualization Systems Based on Virtua...

引用

6th International Conference on Augmented Reality, Virtual Reality and Computer Graphics (SALENTO AVR)

作者： Averbukh, Vladimir Averbukh, Natalya Vasev, Pavel Gvozdarev, Ilya Levchuk, Georgy Melkozerov, Leonid Mikhaylov, Igor Russian Acad Sci Inst Math & Mech Ural Branch Ekaterinburg Russia Ural Fed Univ Ekaterinburg Russia

ISBN: (纸本)9783030259655;9783030259648

The paper discusses research and development in the field of software visualization based on virtual reality environments. Spatial metaphors play an important role in such systems. A brief overview of the projects of software visualization systems based on vir- tual reality is provided. Among the systems developed over the past decades, one can find systems both for program visualization and for visual programming. Descriptions of prototypes of software visualization systems, software objects visualization and supercomputer performance data visualization, realized by the authors of the paper, are presented. These prototypes, designed for virtual reality environments, were developed with the use of several versions of a cosmic space metaphor and an extended city metaphor. The paper also discusses psychological aspects of the human factor in developing software visualization systems with the use of virtual reality.

关键词： Software visualization visual programming Virtual reality visualization metaphors Human factor Presence

来源：评论

学校读者我要写书评

暂无评论

TaggerVR: Interactive Data Analytics for Geoscience A Novel Interface for Interactive visual Analytics of Large Geoscientific Datasets in Cloud Repositories

TaggerVR: Interactive Data Analytics for Geoscience A Novel ...

引用

2015 Big Data visual Analytics (BDVA)

作者： Morse, Peter Lueg, Christopher Reading, Anya Kenderdine, Sarah Univ Tasmania Sch Phys Sci Earth Sci Hobart Tas Australia Univ Tasmania Sch Engn Hobart Tas Australia Univ Tasmania ICT Hobart Tas Australia Univ New South Wales iGLAMS NIEA Art & Design Sydney NSW Australia

ISBN: (纸本)9781467373432

'TaggerVR' is a work-in-progress immersive VR implementation of the 'Tagger' interactive software tool designed to visualize, characterize, sample and tag geoscientific datasets hosted in local and cloud-based repositories via a THREDDS Data Server and OPeNDAP. TaggerVR implements a VR GUI using Human Interface Devices (HID), providing data to the user via an animated interface. This enables interesting features that would otherwise be lost in large datasets to be 'Tagged' for subsequent analysis. A key novel enabler is the link between scientific data formats and the high-performance interactive graphics.

关键词： Virtual Reality visual Analytics Geoscience Data Cloud Repository Human-Computer Interaction Game Engines visual programming

来源：评论

学校读者我要写书评

暂无评论

End-User Browser-Side Modification of Web Pages

End-User Browser-Side Modification of Web Pages

引用

15th International Conference on Web Information Systems Engineering (WISE)

作者： Diaz, Oscar Arellano, Cristobal Aldalur, Inigo Medina, Haritz Firmenich, Sergio Univ Basque Country UPV EHU San Sebastian Spain Univ Nacl La Plata & CONICET LIFIA La Plata Argentina

ISBN: (纸本)9783319117492;9783319117485

The increasing volume of content and actions available on the Web, combined with the growing number of mature digital natives, anticipate a growing desire of controlling theWeb experience. Akin to the Web2.0 movement, webies' desires do not stop at content authoring but look for controlling how content is arranged in websites. By content, we mainly refer to HTML pages, better said, their runtime representation: DOM trees. The vision is for users to "prune" (removing nodes) or "graft" (adding nodes) existing DOM trees to improve their idiosyncratic and situational Web experience. Hence, Web content is no longer consumed as canned by Web masters. Rather, users can remove content of no interest, or place new content from somewhere else. This vision accounts for a post-production user-driven Web customization (referred to as "Web Modding"). Being user driven, appropriate abstractions and tools are needed. The paper introduces a set of abstractions (formalized in terms of a domain-specific language) and an IDE (realized as an add-on from Google Chrome) to empower non-programmers to achieve HTML rearrangement. The paper discusses the technical issues and the results of a first validation.

关键词： Web Modding Web Widget End User programming visual programming Domain Specific Languages WebMakeUp

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共73页 << < 42 43 44 45 46 47 48 49 50 51 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：