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

proceedings of the 26th annual conference on computer graphics and interactive techniques

作者： Henrik Weimer Joe Warren Rice University Department of computer Science P.O. Box 1892 Huston TX

来源：评论

学校读者我要写书评

暂无评论

A virtual reality and scientific visualization laboratory for undergraduates in computer science

A virtual reality and scientific visualization laboratory fo...

引用

Frontiers in Education (FIE) conference

作者： R.W. Webster S. Wayde Department of Computer Science Millersville University Millersville PA USA PRC Incorporated Bala Cynwyd PA USA

A great deal of research being performed in computer science and in undergraduate and graduate programs in the sciences, centers around collaborative scientific projects and the visualization of the results. With so much activity in the scientific community today comprised of collaborative projects which include and require computer scientists, a logical step at this time is to expose students to the hardware, special devices, and software techniques of virtual reality, virtual world modeling, and scientific visualization. this paper describes a virtual world modeling laboratory for undergraduates in computer Science. Specific hardware, devices, software, and project specifications will be described.

关键词： Virtual reality Visualization Laboratories computer science Computational modeling Hardware computer graphics Application software Magnetic sensors Collaborative software

来源：评论

学校读者我要写书评

暂无评论

Active learning mashups for tablet classrooms

Proceedings of the ISCA 26th International Conference on Com...

引用

proceedings of the ISCA 26th International conference on computers and their Applications, CATA 2011 2011年 60-65页

作者： Hieb, Jeffrey L. Graham, James H. Department of Engineering Fundamentals University of Louisville Louisville KY 40292 United States Department of Electrical and Computer Engineering University of Louisville Louisville KY 40292 United States

ISBN: (纸本)9781880843802

Tablets are fully functional notebook computers. Collaborative learning software, like DyKnow, has been developed to extend the digital ink capabilities of tablets to make classrooms more engaging. the computational capabilities of tablets can be further leveraged by integrating tailored computational software into class activities. Successful integrated activities will be targeted to learning objectives, have an interface that is easily used with just a pen and be simple for instructors to implement. Mashups are one way to achieve these goals;they also eliminate the need for students to download and install additional software. this idea is demonstrated for a course in Linear Algebra for engineers. the activity has students explore, during class, the matrix representation of linear transformations applied to simple two dimensional graphics. the developed mashup was used in the spring of 2010. Some students reported, in a follow up survey, that the mashup increased their engagement in the course material. While technical problems encountered when using the mashup during class limited its' effectiveness, the approach could be used in a variety of different courses where students are using tablets. Copyright © 2011 by the International Society for computers and their Applications (ISCA).

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Specification and verification of spatial data types with B-Toolkit

Specification and verification of spatial data types with B-...

引用

IEEE Annual International computer Software and Applications conference (COMPSAC)

作者： Kim Yong Chun Dang Van Hung International Institute for Software Technology United Nations University Macao China

Spatial data types provide a fundamental abstraction for modelling the geometric structures of objects in space, their relationships, properties and operations. In this work, we present a formal specification and verification of spatial data types with the B-Toolkit. We give a formal specification of a realm and operations by using abstract machine notations of B. We then refine and implement a realm update operator in B, and verify formally an implementation of a realm update operator with B-Toolkit.

关键词： Formal specifications Space technology Solid modeling Application software Formal verification Software systems computer graphics Spatial resolution computer applications Grid computing

来源：评论

学校读者我要写书评

暂无评论

A case study in high-end communications technology in distance learning

A case study in high-end communications technology in distan...

引用

Frontiers in Education (FIE) conference

作者： A. van Dam A. Barr D. Greenberg R. Riesenfeld H. Fuchs Brown University USA California Institute of Technology USA Cornell University USA University of Utah USA University of North Carolina Chapel Hill USA

the five principal investigators (PIs) of the graphics and visualization center, a distributed NSF science and technology center, report on the lessons learned from reaching an interactive graduate-level seminar involving their five sites over a high-end communications infrastructure. the experiences related will be of value to institutions presently conducting or considering distance learning. Although the experiences reported here are based an a high-end scenario available to this research center, the present trends in technology and distance education should make these observations applicable in the imminent future to a large number of educational institutions.

关键词： computer aided software engineering Communications technology computer aided instruction Seminars graphics Visualization Education Video sharing Videoconference TV

来源：评论

学校读者我要写书评

暂无评论

A graphical user interface for data-parallel programming 26

A graphical user interface for data-parallel programming

引用

26th Hawaii International conference on System Sciences, HICSS 1993

作者： McCallum, D. Quinn, M.J. Mentor Graphics Corporation WilsonvilleOR United States Department of Computer Science Oregon State University United States

ISBN: (纸本)0818632305

We have developed a graphical user interface that supports the development of data-parallel programs for distributed-memory MIMD computers. the name of the tool is Intercom, since it facilitates programmer interaction with the compiler. Intercom allows the programmer to edit data-parallel programs, invoke the compiler, and examine the places in the program where the compiler has inserted calls to the message-passing library. Intercom also provides automatic version control, which allows the programmer to revert to earlier versions of the program at any point in the editing session. Earlier work by Hatcher and Quinn has demonstrated that compilers can translate data-parallel SIMD programs into loosely-synchronous programs that execute eflciently on distributed-memory MIMD computers [1, 2, 31. However, relatively minor changes in the source program can produce large swings in performance, and some of the relationships between source code patterns and performance are subtle. Without Intercom, the programmer repeatedly edits, compiles, executes, benchmarks, and analyzes the performance of a program under development. Intercom supports a much shorter program development cycle of editing, compiling, and analyzing. Intercom is a Motifibased application running in an XI I environment. Currently we are using Intercom to support the development of programs written in the Dataparalle1 C languuge. However, we have designed the system to be language independent, and there is no reason why it could not be used to support program development in other data-parallel languages, such as Fortran 90 or C∗. © 1993 IEEE.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

ArtDefo: accurate real time deformable objects 99

ArtDefo: accurate real time deformable objects

引用

proceedings of the 26th annual conference on computer graphics and interactive techniques

作者： Doug L. James Dinesh K. Pai Institute of Applied Mathematics University of British Columbia Institute of Applied Mathematics and Dept. of Computer Science 2366 Main Mall UBC Vancouver Canada and University of British Columbia

来源：评论

学校读者我要写书评

暂无评论

Interactive linkage synthesis on a small computer 71

Interactive linkage synthesis on a small computer

引用

26th ACM Annual conference/Annual Meeting, ACM 1971

作者： Kaufman, Roger E. Maurer, Walter G. Massachusetts Institute of Technology CambridgeMA United States

ISBN: (纸本)9781450374842

An interactive computer program for the kinematic synthesis of motion or function generating linkages is described. the system has been implemented on an 8K IBM 1130 with a storage tube display and a custom—built "globe" graphical input device. the desired performance of the mechanism at four or five prescribed finitely separated positions is specified to the computer, as is the geometry of the fixed and moving bodies. Graphical input devices, or a keyboard, or cards can be used for this purpose. Interactive graphics capability allows input, modification, and display of a complex moving body and fixed frame. Burmester circlepoint-centerpoint curves or Burmester point pairs are displayed for the specified motion, together with a number of other options such as relative poles of rotation. A dynamic cursor which traverses the circlepoint-centerpoint curves allows selection of input and output links of either a four-bar linkage, a slider-crank mechanism, or a turning-block mechanism capable of satisfying the prescribed input criteria. A flashing display aids in selection of circlepoint-centerpoint pairs by indicating the type of linkage that would result from choice of the link being displayed at that instant. Grashof's criteria are used to determine whether such a choice would result in a drag link, double rocker, or crank rocker mechanism. Similar criteria have been developed for the slider and turning block equivalents of these mechanisms. the selected linkage can then be animated on the display screen. Continuous display of its transmission angle is optional. Examples are given of the practical use of the program. © 1971 Association for Computing Machinery, Inc. All rights reserved.

关键词： Kinematics

来源：评论

学校读者我要写书评

暂无评论

Teaching the principles of mine fire using an intelligent computer-aided instruction

Teaching the principles of mine fire using an intelligent co...

引用

Frontiers in Education (FIE) conference

作者： A.M. Wala Department of Mining Engineering University of Kentucky Lexington KY USA

the purpose of this paper is to describe a feasibility prototype of a computer-Aided Instruction (CAI) system, developed for mining engineering students and mine and safety personnel to teach the complex interrelationships between a mine ventilation system and a mine fire. the system employs an artificial intelligence technique to increase students' involvement in the learning process of "interrogation and confrontation". To deepen the understanding of the problem, the author utilized heuristic as well as algorithmic methods combined to simulate, diagnose, and explain certain fire situations. the CAI system mentioned above uses extensively a mine fire simulator that enables a real time graphics animation of almost all the changes occurring in the ventilation network while under the influence of fire.

关键词： Education Fires computer aided instruction Artificial intelligence Ventilation Prototypes Engineering students Safety Personnel Learning

来源：评论

学校读者我要写书评

暂无评论

Interactive curves and surfaces

Interactive curves and surfaces

引用

Frontiers in Education (FIE) conference

作者： A. Rockwood P. Chambers Department of Computer Science Arizona State University Tempe AZ USA VLSI Technology Inc. Phoenix AZ USA

the emergence of visual programming and processing environments and the raw power of computers now makes it possible to present technical subjects with interactive involvement of the student. We report on a development that is the analogy of a science laboratory for geometry. the result is an electronic book which contains text navigation facilities, supplementary menu driven modes, and in particular, embedded interactive demonstrations and animation. the electronic book was a prototype for a class in geometric design. the class is representative of many science and engineering courses that rely heavily on developing connections between algebra and geometry.

关键词： Electronic publishing Animation Books Navigation computer graphics File systems Computational geometry computer science Very large scale integration Laboratories

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：