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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,530 篇 会议
32 篇 期刊文献
2 册 图书
1 篇 学位论文

馆藏范围

2,565 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,049 篇 工学
- 1,945 篇 计算机科学与技术...
- 1,556 篇 软件工程
- 187 篇 控制科学与工程
- 160 篇 信息与通信工程
- 113 篇 电气工程
- 85 篇 生物工程
- 61 篇 电子科学与技术（可...
- 59 篇 机械工程
- 53 篇 生物医学工程（可授...
- 48 篇 光学工程
- 47 篇 建筑学
- 41 篇 仪器科学与技术
- 40 篇 土木工程
- 24 篇 航空宇航科学与技...
- 23 篇 力学（可授工学、理...
- 23 篇 化学工程与技术
- 22 篇 材料科学与工程（可...
393 篇 理学
- 167 篇 数学
- 147 篇 物理学
- 96 篇 生物学
- 25 篇 统计学（可授理学、...
- 24 篇 系统科学
258 篇 管理学
- 140 篇 管理科学与工程(可...
- 126 篇 图书情报与档案管...
- 76 篇 工商管理
59 篇 医学
- 57 篇 临床医学
- 22 篇 基础医学(可授医学...
38 篇 法学
- 36 篇 社会学
38 篇 教育学
- 37 篇 教育学
21 篇 经济学
- 21 篇 应用经济学
6 篇 农学
2 篇 文学
2 篇 军事学
1 篇 艺术学

主题

370 篇 user interfaces
153 篇 virtual reality
134 篇 graphical user i...
80 篇 augmented realit...
48 篇 application soft...
48 篇 user interface
33 篇 software enginee...
33 篇 visualization
27 篇 human computer i...
25 篇 software design
24 篇 hardware
21 篇 computer softwar...
21 篇 haptics
20 篇 user interface d...
20 篇 animation
19 篇 software testing
18 篇 computer science
18 篇 tangible user in...
18 篇 accessibility
17 篇 tangible user in...

机构

15 篇 carnegie mellon ...
12 篇 chinese acad sci...
11 篇 mit media lab ca...
11 篇 univ tokyo
10 篇 tsinghua univ pe...
10 篇 stanford univ st...
9 篇 univ michigan an...
9 篇 massachusetts in...
9 篇 univ calif berke...
8 篇 univ toronto on
8 篇 university of to...
8 篇 univ maryland co...
7 篇 georgia inst of ...
7 篇 microsoft res re...
7 篇 department of co...
7 篇 natl taiwan univ...
7 篇 georgia institut...
7 篇 univ calif san d...
7 篇 univ washington ...
6 篇 univ chinese aca...

作者

19 篇 hudson scott e.
18 篇 igarashi takeo
15 篇 grossman tovi
14 篇 kitamura yoshifu...
12 篇 fitzmaurice geor...
12 篇 myers brad a.
12 篇 han teng
10 篇 ishii hiroshi
10 篇 follmer sean
9 篇 nakagaki ken
9 篇 shi yuanchun
9 篇 orso alessandro
8 篇 stuerzlinger wol...
8 篇 takashima kazuki
8 篇 xing zhenchang
8 篇 abowd gregory d.
8 篇 landay james a.
8 篇 rekimoto jun
8 篇 chen chunyang
8 篇 tian feng

语言

2,512 篇 英文
47 篇 其他
3 篇 葡萄牙文
2 篇 中文
1 篇 土耳其文

检索条件"任意字段=Proceedings of the ACM Symposium on User Interface Software and Technology"

共 2565 条记录，以下是2481-2490 订阅

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

详细简洁

排序：

The CIP method: component- and model-based construction of embedded systems 7

引用

proceedings of the 7th European software engineering conference held jointly with the 7th acm SIGSOFT international symposium on Foundations of software engineering

作者： Hugo Fierz Swiss Federal Institute of Technology ETH Zürich Switzerland

ISBN: (纸本)9783540665380

CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The functional problem is solved by constructing a formal reactive behavioural model. A CIP model consists of concurrent clusters of synchronously cooperating extended state machines. The state machines of a cluster interact by multi-cast events. State machines of different clusters can communicate through asynchronous channels. The construction of CIP models is supported by the CIP Tool, a graphical modelling framework with code generators that transform CIP models into concurrently executable CIP components. The connection problem consists of connecting generated CIP components to the real environment. This problem is solved by means of techniques and tools adapted to the technology of the interface devices. Construction of a CIP model starts from the behaviour of the processes of the real environment, leading to an operational specification of the system behaviour in constructive steps. This approach allows stable interfaces of CIP components to be specified at an early stage, thus supporting concurrent development of their connection to the environment.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Code-level modeling in XSPICE

Code-level modeling in XSPICE

引用

IEEE International symposium on Circuits and Systems (ISCAS)

作者： F.L. Cox W.B. Kuhn J.P. Murray S.D. Tynor Computer Science and Information Technology Laboratory Georgia Tech Research Institute Georgia Institute of Technology Atlanta GA USA

Describes code-level modeling in XSPICE, an extended version of the SPICE3 simulator from the University of California at Berkeley. XSPICE extends SPICE3's capabilities to allow efficient simulation of mixed-signal (analog/digital) circuits and systems. XSPICE's code-level modeling approach allows new models to be easily added to the SPICE3 core, providing a practical alternative to traditional macromodeling techniques. Addition of event-driven simulation extends SPICE3 to include 12-state digital modeling. user-defined data types allow simulation of designs such as sampled-data filters. A library of over 40 predefined code models has been developed, covering analog, digital, and hybrid devices and functions. The complete XSPICE simulator has been integrated with the Mentor Graphics MSPICE CAE (computer-aided engineering) environment, and provides a general interprocess communication interface for connection to other CAE system software. An example illustrating the use of XSPICE in top-down, system-level design is shown. The system is a simple MIDI (musical instrument digital interface) synthesizer.< >

关键词： Circuit simulation Computational modeling Computer aided engineering Circuits and systems Discrete event simulation Filters software libraries Computer simulation Computer graphics Computer interfaces

来源：评论

学校读者我要写书评

暂无评论

GestIT: a declarative and compositional framework for multiplatform gesture definition 13

GestIT: a declarative and compositional framework for multip...

引用

proceedings of the 5th acm SIGCHI symposium on Engineering interactive computing systems

作者： Lucio Davide Spano Antonio Cisternino Fabio Paternò Gianni Fenu Università di Cagliari Cagliari Italy Università di Pisa Pisa Italy ISTI-CNR Pisa Italy

ISBN: (纸本)9781450321389

Gestural interfaces allow complex manipulative interactions that are hardly manageable using traditional event handlers. Indeed, such kind of interaction has longer duration in time than that carried out in form-based user interfaces, and often it is important to provide users with intermediate feedback during the gesture performance. Therefore, the gesture specification code is a mixture of the recognition logic and the feedback definition. This makes it difficult 1) to write maintainable code and 2) reuse the gesture definition in different applications. To overcome these kinds of limitations, the research community has considered declarative approaches for the specification of gesture temporal evolution. In this paper, we discuss the creation of gestural interfaces using GestIT, a framework that allows declarative and compositional definition of gestures for different recognition platforms (e.g. multitouch and full-body), through a set of examples and the comparison with existing approaches.

关键词： user interface design software architecture and engineering input and interaction technologies gestural interaction analysis methods

来源：评论

学校读者我要写书评

暂无评论

Implementing a living lab approach to foster innovation in an advanced software engineering course (abstract only) 14

Implementing a living lab approach to foster innovation in a...

引用

proceedings of the 45th acm technical symposium on Computer science education

作者： Jean H. French Coastal Carolina University Conway SC USA

ISBN: (纸本)9781450326056

The living lab concept promotes innovation by solving problems in an open, user-centric environment. A living lab approach was implemented in an undergraduate, advanced software engineering course to develop applications for the Leap Motion. The Leap Motion is a novel device that provides touch-less interaction with computer systems. Sixteen students worked toward the common goal of developing applications for the Leap Motion. All aspects of the project were supported in the student-led, open environment, from initial research to implementation. Because the Leap Motion device was not available until shortly before the semester, students had no prior experience in application development for the technology, adding to the difficulty and uniqueness of the task. This poster provides the details of the living lab implementation as the project progressed through the semester.

关键词： living laboratory

来源：评论

学校读者我要写书评

暂无评论

Touching and hearing GUI's: design issues for the PC-Access system 96

Touching and hearing GUI's: design issues for the PC-Access ...

引用

proceedings of the second annual acm conference on Assistive technologies

作者： Christophe Ramstein Odile Martial Aude Dufresne Michel Carignan Patrick Chassé Philippe Mabilleau Centre for Information Technology Innovation 1575 Chomedey Blvd Laval (Qc) Canada Université de Montreal Centre for Information Technology Innovation 1575 Chomedey Blvd Laval (Qc) Canada Sherbrooke University Electrical Engineering Department Centre for Information Technology Innovation 1575 Chomedey Blvd Laval (Qc) Canada

ISBN: (纸本)9780897917766

PC-Access is a system which combines both hardware and software in order to provide multimodal feedback in a Microsoft Windows graphical interface and within its applications. We propose two versions of PC-Access: one which offers sound feedback with an enhanced drawing tablet and another in which tactile stimuli are synthesized by a haptic pointing device. When using the second version, the user will be able to perceive the interface objects (e.g, icons, menus, windows) as well as actions (e.g, moving, re-sizing). Thus, PC-Access offers auditory information (non-verbal sounds and voice synthesis), reinforced by the sense of touch which in turn helps to direct manipulation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Direct MPI library for intel xeon phi co-processors

Direct MPI library for intel xeon phi co-processors

引用

2013 IEEE 37th Annual Computer software and Applications Conference, COMPSAC 2013

作者： Si, Min Ishikawa, Yutaka Tatagi, Masamichi Department of Computer Science University of Tokyo Tokyo Japan Information Technology Center University of Tokyo Tokyo Japan RIKEN Advanced Institute for Computational Science Japan Green Platform Research Laboratories NEC Corporation Kawasaki Japan

ISBN: (纸本)9780769549798

DCFA-MPI is an MPI library implementation for Intel Xeon Phi co-processor clusters, where a compute node consists of an Intel Xeon Phi co-processor card connected to the host via PCI Express with InfiniBand. DCFA-MPI enables direct data transfer between Intel Xeon Phi co-processors without assistance from the host. Since DCFA, a direct communication facility for many-core based accelerators, provides direct Infini-Band communication functionality with the same interface as that on the host processor for Xeon Phi co-processor user space programs, direct InfiniBand communication between Xeon Phi co-processors could easily be developed. Using DCFA, an MPI library able to perform direct inter-node communication between Xeon Phi co-processors, has been designed and implemented. The implementation is based on the Mellanox InfiniBand HCA and the pre-production version of the Intel Xeon Phi coprocessor. DCFA-MPI delivers 3 times greater bandwidth than the 'Intel MPI on Xeon Phi co-processors' mode, and a from 2 to 12 times speed-up when compared to the 'Intel MPI on Xeon where it offloads computation to Xeon Phi co-processors' mode in communication with 2 MPI processes. It also shows from 2 to 4 times speed-up over the Intel MPI on Xeon Phi Intel MPI on Xeon where it offloads computation to Xeon Phi co-processors' mode in a five point stencil computation with an 8 processes * 56 threads parallelization by MPI + OpenMP. © 2013 IEEE.

关键词： Coprocessor

来源：评论

学校读者我要写书评

暂无评论

Real-time localization and mapping with wearable active vision

Real-time localization and mapping with wearable active visi...

引用

International symposium on Mixed and Augmented Reality (ISMAR)

作者： A.J. Davison W.W. Mayol D.W. Murray Robotics Research Group Department of Engineering Science University of Oxford Oxford UK

We present a general method for real-time, vision-only single-camera simultaneous localisation and mapping (SLAM) - an algorithm which is applicable to the localisation of any camera moving through a scene - and study its application to the localisation of a wearable robot with active vision. Starting from very sparse initial scene knowledge, a map of natural point features spanning a section of a room is generated on-the-fly as the motion of the camera is simultaneously estimated in full 3D. Naturally this permits the annotation of the scene with rigidly-registered graphics, but further it permits automatic control of the robot's active camera: for instance, fixation on a particular object can be maintained during extended periods of arbitrary user motion, then shifted at will to another object which has potentially been out of the field of view. This kind of functionality is the key to the understanding or "management" of a workspace which the robot needs to have in order to assist its wearer usefully in tasks. We believe that the techniques and technology developed are of particular immediate value in scenarios of remote collaboration, where a remote expert is able to annotate, through the robot, the environment the wearer is working in.

关键词： Robot vision systems Layout Wearable sensors Cameras Robot sensing systems Simultaneous localization and mapping Collaborative software Magnetic sensors Motion estimation Graphics

来源：评论

学校读者我要写书评

暂无评论

Scene-Driven Exploration and GUI Modeling for Android Apps 23

Scene-Driven Exploration and GUI Modeling for Android Apps

引用

proceedings of the 38th IEEE/acm International Conference on Automated software Engineering

作者： Xiangyu Zhang Lingling Fan Sen Chen Yucheng Su Boyuan Li DISSec NDST College of Cyber Science Nankai University China College of Intelligence and Computing Tianjin University China Chaitin Technology Alibaba Group China

ISBN: (纸本)9798350329964

Due to the competitive environment, mobile apps are usually produced under pressure with lots of complicated functionality and UI pages. Therefore, it is challenging for various roles to design, understand, test, and maintain these apps. The extracted transition graphs for apps such as ATG, WTG, and STG have a low transition coverage and coarse-grained granularity, which limits the existing methods of graphical user interface (GUI) modeling by UI exploration. To solve these problems, in this paper, we propose SceneDroid, a scene-driven exploration approach to extracting the GUI scenes dynamically by integrating a series of novel techniques including smart exploration, state fuzzing, and indirect launching strategies. We present the GUI scenes as a scene transition graph (SceneTG) to model the GUI of apps with high transition coverage and finegrained granularity. Compared with the existing GUI modeling tools, SceneDroid has improved by 168.74% in the coverage of transition pairs and 162.42% in scene extraction. Apart from the effectiveness evaluation of SceneDroid, we also illustrate the future potential of SceneDroid as a fundamental capability to support app development, reverse engineering, and GUI regression testing.

关键词： android app

来源：评论

学校读者我要写书评

暂无评论

Redesigning the Web: from passive pages to coordinated agents in PageSpaces

Redesigning the Web: from passive pages to coordinated agent...

引用

International symposium on Autonomous Decentralized Systems (ISADAS)

作者： P. Ciancarini R. Tolksdorf F. Vitali D. Rossi A. Knoche Department of Computer Science University of Bologna Bologna Italy Technische Universität Berlin Berlin Germany

Currently, the Web does not support distributed applications well. Existing approaches are oriented towards centralized applications at servers, or local programs within clients. To overcome this deficit, the PageSpace platform was designed for distributed, coordinated agents in the Web. We take a specific approach to coordinate agents in PageSpace applications, namely variants of coordination language Linda that support rules and services to guide their cooperation. This technology is integrated with the standard Web technology and the language Java. Several kinds of agents live in the PageSpace: user interface agents, personal home agents, the agents that implement applications, and the kernel agents of the platform. Within the architecture it is possible to support fault tolerance and mobile agents as well.

关键词： Java Internet HTML Information retrieval Web server Databases Kernel Mobile agents Management information systems Collaborative software

来源：评论

学校读者我要写书评

暂无评论

Model-driven development and evolution of customized user interfaces 13

Model-driven development and evolution of customized user in...

引用

proceedings of the 5th acm SIGCHI symposium on Engineering interactive computing systems

作者： Andreas Pleuss Stefan Wollny Goetz Botterweck University of Limerick Limerick Ireland University of Augsburg Augsburg Germany

ISBN: (纸本)9781450321389

One of the main benefits of model-driven development of user interfaces (UIs) is the increase in efficiency and consistency when developing multiple variants of a UI. For instance, multiple UIs for different target users, platforms, devices, or for whole product families can be generated from the same abstract models. However, purely generated UIs are not always sufficient as there is often need for customizing the individual UI variants, e.g., due to usability issues or specific customer *** this paper we present a model-driven approach for the development of UI families with systematic support for customizations. The approach supports customizing all aspects of a UI (UI elements, screens, navigation, etc.) and storing the customizations in specific models. As a result, a UI family can be evolved more efficiently because individual UI variants can be re-generated (after some changes have been applied to the family) without losing any previously made customizations. We demonstrate this by thirty highly customized real-world products from a commercial family of web information systems called HIS-GX/QIS.

关键词： usability engineering software product lines model-driven development user interface engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共257页 << < 245 246 247 248 249 250 251 252 253 254 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：