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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

598 篇 会议
4 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

261 篇 工学
- 227 篇 软件工程
- 196 篇 计算机科学与技术...
- 31 篇 电气工程
- 3 篇 信息与通信工程
- 3 篇 控制科学与工程
- 2 篇 力学（可授工学、理...
- 2 篇 材料科学与工程（可...
- 2 篇 生物工程
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 生物医学工程（可授...
43 篇 管理学
- 34 篇 管理科学与工程(可...
- 13 篇 图书情报与档案管...
- 6 篇 工商管理
10 篇 理学
- 8 篇 数学
- 3 篇 物理学
- 3 篇 生物学
- 1 篇 统计学（可授理学、...
2 篇 教育学
- 2 篇 教育学
1 篇 经济学
- 1 篇 应用经济学
1 篇 法学
- 1 篇 社会学
1 篇 医学
- 1 篇 基础医学(可授医学...

主题

125 篇 visualization
121 篇 computer languag...
84 篇 visual languages
79 篇 programming prof...
65 篇 computer science
46 篇 programming
42 篇 humans
37 篇 computational mo...
34 篇 educational inst...
33 篇 prototypes
33 篇 unified modeling...
32 篇 natural language...
32 篇 java
31 篇 application soft...
31 篇 programming envi...
28 篇 user interfaces
27 篇 concrete
24 篇 software enginee...
24 篇 software
24 篇 usability

机构

7 篇 department of co...
6 篇 univ auckland de...
5 篇 north carolina s...
5 篇 department of co...
5 篇 oregon state uni...
4 篇 department of co...
4 篇 oregon state uni...
4 篇 department of co...
4 篇 university of br...
4 篇 school of comput...
4 篇 visual modelling...
4 篇 univ roma la sap...
4 篇 university of wa...
4 篇 school of eecs o...
3 篇 univ michigan an...
3 篇 mit media lab ca...
3 篇 department of co...
3 篇 computer laborat...
3 篇 pennsylvania sta...
3 篇 dalhousie univer...

作者

11 篇 john grundy
11 篇 grundy john
11 篇 andrew fish
8 篇 andrew j. ko
7 篇 hosking john
6 篇 john hosking
6 篇 bottoni paolo
5 篇 kang zhang
5 篇 p. bottoni
5 篇 jun kong
4 篇 rui pereira
4 篇 walkingshaw eric
4 篇 t.j. smedley
4 篇 s. levialdi
4 篇 m. burnett
4 篇 jorma sajaniemi
4 篇 paolo bottoni
3 篇 david harel
3 篇 costagliola genn...
3 篇 anita sarma

语言

601 篇 英文
2 篇 其他

检索条件"任意字段=IEEE Symposium on Visual Languages and Human-Centric Computing*"

共 603 条记录，以下是181-190 订阅

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

详细简洁

排序：

Guided model creation: A task-driven approach

Guided model creation: A task-driven approach

引用

ieee symposium on visual languages and human-centric computing*

作者： Lahtinen, Samuel Peltonen, Jari Hammouda, Imed Koskimies, Kai Tampere Univ Technol Inst Software Syst POB 553 FIN-33101 Tampere Finland

ISBN: (纸本)0769525865

The abstract syntax of a graphical modeling language is often defined by a metalmodel. Typically, a metamodel is given as a class diagram, serving as the grammar of the modeling language. Especially in the case of complex metamodels, there is a need for tool support for assisting the creation of models. In this paper, we propose a method or task-driven creation of models, assuming that the metamodel has been given as a UML class diagram.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

A formal approach to the generation of visual language environments supporting multiple views

A formal approach to the generation of visual language envir...

引用

ieee symposium on visual languages and human-centric computing*

作者： Guerra, E Díaz, P de Lara, J Univ Carlos III Madrid Madrid Spain

ISBN: (纸本)0769524435

In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple views. The VL syntax is defined by means of a meta-model. Views for the VL are created by selecting the classes, associations, attributes and constraints that are part of them. Once the environment is generated, the view models are translated into a global, unique model where consistency checking and further analysis can be performed by means of graph grammars. These ideas have been newly implemented in the AToM(3) tool.

关键词： computational linguistics formal specification formal verification graph grammars programming environments software tools visual languages visual programming AToM/sup 3/ tool attribute selection class selection consistency checking constraint selection f visual languages visual programming programming environments COMPUTATIONAL LINGUISTICS Formal verification conformance testing Environments Formal specifications Metamodeling View

来源：评论

学校读者我要写书评

暂无评论

HyperFlow: an integrated visual query and dataflow language for end-user information analysis

HyperFlow: an integrated visual query and dataflow language ...

引用

ieee symposium on visual languages and human-centric computing*

作者： Dotan, D Pinter, RY Technion Israel Inst Technol Dept Comp Sci IL-32000 Haifa Israel

ISBN: (纸本)0769524435

We present HyperFlow, a novel visual language for information analysis that combines features from visual dataflow and visual query languages into a unified framework. HyperFlow is designed to make it easier for users to retrieve, filter, and manipulate information, using databases alongside e.g. web services, in a transparent, intuitive, reproducible and traceable manner. It allows users to visually design and execute information analysis processes in a single diagram. We present HyperFlow's constructs and describe the characteristics of a prototype interface we have implemented.

关键词： data flow computing database management systems information filtering information retrieval parallel languages query languages HyperFlow Web services dataflow language end-user information analysis information manipulation informati Information filtering data base language Parallel languages database management systems Web Service information analysis information retrieval data flow

来源：评论

学校读者我要写书评

暂无评论

Physical vs. Virtual Representations Within Concreteness Fading for Primary School computing

Physical vs. Virtual Representations Within Concreteness Fad...

引用

ieee symposium on visual languages and human-centric computing* (VL/HCC)

作者： Trory, Anthony Howland, Kate Good, Judith du Boulay, Benedict Univ Sussex Dept Informat Brighton E Sussex England Univ Amsterdam Informat Inst Amsterdam Netherlands

ISBN: (纸本)9798350376920;9798350366136

computing concepts are often introduced to children using interactive concrete representations, such as Computer Science Unplugged (CSU) activities - an approach that may positively affect attitudes towards computing when applied in extra-curricular settings. However, within the classroom, children may be required to interact with abstract representations, e.g. during programming tasks, and little is known about how to design CSU activities that support this. Prior work in mathematics and computing suggests that the Theoretical Model of Concreteness Fading (TMCF) may effectively scaffold the progression from concrete to abstract and improve learning outcomes. This paper aims to investigate one of the TMCF recommendations: the use of physical manipulatives, motivated by the growing body of evidence that suggests that virtual manipulatives can, in many contexts, be equally effective while providing several design advantages. An experiment was conducted with 48 children to compare two alternative implementations of Concreteness Fading learning materials: physical concrete (Playmobil toys) vs. virtual concrete (an AR iPad app), on learning gains and attitudinal change. Using these materials, children were taught the fundamentals of network structure and internet routing. Results indicated no significant difference between groups on either measure.

关键词： Concreteness Fading computing Education Interactive Learning Environments Interface Design

来源：评论

学校读者我要写书评

暂无评论

A WebML-based visual language for the development of Web GIS applications

A WebML-based visual language for the development of Web GIS...

引用

ieee symposium on visual languages and human-centric computing*

作者： Di Martino, S. Ferrucci, F. Paolino, L. Sebillo, M. Vitiello, G. Avagliano, G. Univ Salerno Via Ponte Don Melillo I-84084 Fisciano SA Italy

ISBN: (纸本)9780769529875

In the present paper, we propose a visual language meant to support the design of Web GIS applications. The proposal is based on the observation that Web GIS can be considered as a particular class of data-intensive Web applications, since they are mainly devoted to handle (spatial) information to and from the user. The success of WebML (Web Modeling Language) for designing traditional data-intensive Web applications suggested us to extend this visual formalism to model relevant interaction and navigation operations typical of Web GIS. The proposed extension consists of a set of content units specifically tailored for GIS concepts and tasks.

关键词： visual languages

来源：评论

学校读者我要写书评

暂无评论

A visually-specified code generator for Simulink/Stateflow

A visually-specified code generator for Simulink/Stateflow

引用

ieee symposium on visual languages and human-centric computing*

作者： Neema, S Kalmar, Z Shi, F Vizhanyo, A Karsai, G Vanderbilt Univ Inst Software Integrated Syst Nashville TN 37235 USA

ISBN: (纸本)0769524435

visual modeling languages are, often used today it? engineering domains, Mathworks' Simulink/Stateflow, for simulation, signal processing and controls being the prime example. However, they are also becoming suitable for implementing other computational tasks, like model transformations. In this paper we briefly introduce GReAT: a visual language with simple, yet powerful semantics for implementing transformations on attributed, typed hypergraphs with the help of explicitly sequenced graph transformation rules. The main contribution of the paper is a Simulink/Stateflow code generator that generates executable code (running on a distributed plattform) from the visual input models. The paper provides an overview of the algorithms used and their realization in GReAT.

关键词： digital simulation formal specification graph grammars program compilers visual languages visual programming GReAT Mathwork Simulink Stateflow attributed typed hypergraphs controls model transformation sequenced graph transformation rules signal processi visual languages visual programming compilers Code generation Digital simulation Formal specifications graph transformation

来源：评论

学校读者我要写书评

暂无评论

Principles of a Debugging-First Puzzle Game for computing Education

Principles of a Debugging-First Puzzle Game for Computing Ed...

引用

ieee symposium on visual languages and human-centric computing* (VL/HCC)

作者： Lee, Michael J. Bahmani, Faezeh Kwan, Irwin LaFerte, Jilian Charters, Polina Horvath, Amber Luor, Fanny Cao, Jill Law, Catherine Beswetherick, Michael Long, Sheridan Burnett, Margaret Ko, Andrew J. Univ Washington Informat Sch Seattle WA 98195 USA Oregon State Univ Sch EECS Corvallis OR 97331 USA Oregon State Univ STEM Acad Corvallis OR 97331 USA

ISBN: (纸本)9781479940356

Although there are many systems designed to engage people in programming, few explicitly teach the subject, expecting learners to acquire the necessary skills on their own as they create programs from scratch. We present a principled approach to teach programming using a debugging game called Gidget, which was created using a unique set of seven design principles. A total of 44 teens played it via a lab study and two summer camps. Principle by principle, the results revealed strengths, problems, and open questions for the seven principles. Taken together, the results were very encouraging: learners were able to program with conditionals, loops, and other programming concepts after using the game for just 5 hours.

关键词： Computer science education debugging summer camp educational game computational thinking user study

来源：评论

学校读者我要写书评

暂无评论

Toward a programmatic semantics of natural language

Toward a programmatic semantics of natural language

引用

ieee symposium on visual languages and human centric computing

作者： Liu, H Lieberman, H MIT Media Lab Cambridge MA 02139 USA

ISBN: (纸本)0780386965

Natural language is imbued with a rich semantics but unfortunately its complex elegance is often mistaken for mere imprecision. Because complete parsers of English are not yet achievable, people assume that it is not feasible to use English directly as a means of instructing computers. However, in this paper, we show that English descriptions of procedures often contain programmatic semantics linguistic features that can be easily mapped into programming language constructs. Some linguistic features can even inspire new ways of thinking about specking programs. Far from being hopelessly ambiguous, natural languages exhibit important principles of communication that could be used to make human-computer communication more natural.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Analysis-oriented semantics definition of visual languages

Analysis-oriented semantics definition of visual languages

引用

2003 ieee symposium on human centric computing languages and Environments, HCC 2003

作者： Jin, Yan Esser, R. Janneck, J.W. School of Computer Science University of Adelaide SA Australia EECS Department University of California Berkeley CA United States

ISBN: (纸本)0780382250

This paper presents a semantics definition method for a class of visual languages. The method is geared towards the analysis of heterogeneous component-based systems where components are described using different visual languages. This is made possible by the design of language-specific interpreters which interpret instances of these languages within a general semantic framework based on the notion of interconnected discrete-event components. © 2003 ieee.

关键词： visual languages

来源：评论

学校读者我要写书评

暂无评论

A trainable system for recognizing diagrammatic sketch languages

A trainable system for recognizing diagrammatic sketch langu...

引用

ieee symposium on visual languages and human-centric computing*

作者： Costagliola, G Deufemia, V Risi, M Univ Salerno Dipartimento Matemat & Informat I-84084 Fisciano SA Italy

ISBN: (纸本)0769524435

In this paper we propose an approach for constructing sketch parsers whose recognition accuracy and speed is significantly improved by acquiring information on the user's sketching style during a training phase. The construction process consists in specifying a sketch grammar description of the language syntax, automatically generating a parser from such specification, and let the user train the recognition system on a set of sketch sentences.

关键词： formal specification grammars pattern recognition visual programming diagrammatic sketch language recognition information acquisition language syntax sketch grammar description specification sketch parsers sketch sentence sketching style trainable system

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共61页 << < 15 16 17 18 19 20 21 22 23 24 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：