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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

620 篇 会议
12 册 图书
12 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

480 篇 工学
- 389 篇 计算机科学与技术...
- 335 篇 软件工程
- 66 篇 控制科学与工程
- 57 篇 信息与通信工程
- 41 篇 电气工程
- 36 篇 机械工程
- 27 篇 生物工程
- 26 篇 动力工程及工程热...
- 26 篇 电子科学与技术（可...
- 21 篇 生物医学工程（可授...
- 18 篇 材料科学与工程（可...
- 18 篇 环境科学与工程（可...
- 17 篇 仪器科学与技术
- 16 篇 化学工程与技术
- 15 篇 冶金工程
- 15 篇 土木工程
- 12 篇 力学（可授工学、理...
- 12 篇 建筑学
220 篇 理学
- 141 篇 数学
- 38 篇 物理学
- 30 篇 生物学
- 30 篇 系统科学
- 22 篇 统计学（可授理学、...
- 15 篇 化学
130 篇 管理学
- 95 篇 管理科学与工程(可...
- 62 篇 工商管理
- 38 篇 图书情报与档案管...
30 篇 教育学
- 30 篇 教育学
23 篇 经济学
- 23 篇 应用经济学
16 篇 医学
- 15 篇 临床医学
11 篇 法学
10 篇 农学
5 篇 文学
3 篇 艺术学
1 篇 哲学
1 篇 军事学

主题

25 篇 programming
16 篇 software enginee...
15 篇 students
15 篇 dynamic programm...
14 篇 linear programmi...
12 篇 programming prof...
12 篇 python
10 篇 genetic algorith...
9 篇 object oriented ...
9 篇 optimization
8 篇 computer languag...
8 篇 real-time system...
7 篇 internet of thin...
7 篇 computer science
7 篇 software enginee...
7 篇 education
7 篇 java
7 篇 scheduling
6 篇 libraries
6 篇 application soft...

机构

4 篇 al-farahidi univ...
4 篇 national univers...
4 篇 al-turath univer...
3 篇 department of co...
3 篇 galgotias univer...
3 篇 school of electr...
3 篇 al-kunooze unive...
2 篇 department of co...
2 篇 departemen of nu...
2 篇 wuhan university...
2 篇 school of inform...
2 篇 informatics engi...
2 篇 computer science...
2 篇 department of in...
2 篇 department of co...
2 篇 electronics and ...
2 篇 department of co...
2 篇 amrita school of...
2 篇 school of comput...
2 篇 school of inform...

作者

3 篇 hussam ragheed
3 篇 zhang minghui
2 篇 xie hao
2 篇 he zhongzheng
2 篇 li yang
2 篇 prosser patrick
2 篇 weng tien-hsiung
2 篇 m. shirali-shahr...
2 篇 zhou jianzhong
2 篇 suraj malik
2 篇 chakraborti debj...
2 篇 jia benjun
2 篇 ghoshal sanjoy k...
2 篇 zhao youbing
2 篇 erliana cut ita
2 篇 pham hoa
2 篇 hu qihan
2 篇 machado penousal
2 篇 li jinna
2 篇 murphy gail c.

语言

596 篇 英文
46 篇 其他
12 篇 中文

检索条件"任意字段=1st International Conference on the Art, Science and Engineering of Programming, Programming 2017"

共 644 条记录，以下是621-630 订阅

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

详细简洁

排序：

Portable tools for image processing instruction

Portable tools for image processing instruction

引用

IEEE international conference on Image Processing

作者： R.H. Bamberger Signal Processing Instructional Facility Electrical Engineering and Computer Science Washington State University Pullman WA USA

This paper describes a set of portable tools developed for teaching image processing at Washington state University. The tools consist of an ANSI-C library of basic image processing functions specifically designed to make it easy for a novice user to add their own image processing functions, a Visual C++ version of the library with an integrated Windows interface, a collection of example images demonstrating the effects of the various algorithms and concepts of image processing, and several interactive applications developed for various windowing platforms to allow students to interactively experiment with and discover image processing. It is important to note that in addition to being useful for teaching image processing, these tools are useful for motivating students in a rich variety of fields.< >

关键词： Image processing Software libraries Education Digital images Signal processing algorithms Graphical user interfaces programming profession Signal processing Computer science Process design

来源：评论

学校读者我要写书评

暂无评论

Using MATLAB and C in an image processing lab course

Using MATLAB and C in an image processing lab course

引用

IEEE international conference on Image Processing

作者： S.L. Eddins M.T. Orchard MathWorks Inc. Natick MA USA Department of Electrical and Computer Engineering and The Beckman Institute University of Illinois Urbana-Champaign Urbana IL USA

Presents the results of using the new MATLAB image processing toolbox and the C programming language in a senior-level image processing course at the University of Illinois. The course includes for the first time a formal lab component, so more time and effort have been devoted to computer algorithm implementation than previously. students are expected to implement and test image processing algorithms in both MATLAB and C. The authors explore the benefits of using MATLAB and C to teach image processing, and evaluate the students' results in the lab.< >

关键词： MATLAB Image processing Histograms Computer languages Computer science education Packaging Testing Hardware Consumer electronics Image analysis

来源：评论

学校读者我要写书评

暂无评论

Teaching image processing with Khoros

Teaching image processing with Khoros

引用

IEEE international conference on Image Processing

作者： J. Rasure R. Jordan R. Lotufo Khoral Research Inc. Albuquerque NM USA Ibero-American Science and Education Consortium Department of EECE University of New Mexico Albuquerque NM USA Faculdade de Engenharia Elétrica-DCA Universidade Estadual de Campinas (UNICAMP) Sao Paulo Brazil

The Khoros scientific software environment has become a popular tool for teaching image processing. The broad scope of Khoros and the communities emphasis on collaboration have contributed to this success. The paper describes how Khoros can impact the learning process and gives an example of how it can be utilized by an instructor to enhance an image processing course. The concept of thinking of Khoros as an "authoring system" is introduced and supported by briefly explaining the components of Khoros that make up the authoring system.< >

关键词： Education Image processing Application software Software tools Collaboration Authoring systems Information processing Software engineering programming profession Internet

来源：评论

学校读者我要写书评

暂无评论

DeViouS: a distributed environment for vision tasks

DeViouS: a distributed environment for vision tasks

引用

IEEE international conference on Image Processing

作者： P.R. Romig A. Samal Department of Computer Science and Engineering University of Nebraska Lincoln Lincolnshire NE USA

We present a system for the integration of computer vision tasks in a distributed environment. This system, called DeViouS, is based on the client/server model and runs in a heterogeneous environment of Unix workstations. It takes advantage of the free cycles in modern workstation environments to distribute and speed up the execution of vision tasks. Two primary goals of DeViouS are to provide a practical distributed system and a research environment for vision computing. DeViouS is based on a modular design that allows experimentation in various aspects of algorithm design, scheduling and network programming. It can make use of any existing computer vision package with very minor changes to DeViouS. DeViouS has been tested in an environment of SUN and Digital workstations and has shown substantial improvements in speed over sequential computing with negligible overhead.< >

关键词： Computer vision Workstations Distributed computing Algorithm design and analysis Scheduling algorithm Processor scheduling Packaging Sequential analysis Object recognition Machine vision

来源：评论

学校读者我要写书评

暂无评论

Location and geometric description of carpal bones in CT images

Location and geometric description of carpal bones in CT ima...

引用

IEEE international conference on Image Processing

作者： G.R. Hillman H.D. Tagare K.W. Elder D.M. stoner R.M. Patterson C.L. Nicademus S.F. Viegas Y. Dong Department of Computer Science Yale University New Heaven CT USA Department of Pharmacology and Department of Surgery Office of Academic Computingand Center for Biomedical Engineering University of of Texas Medical Branch Galveston TX USA Dept. of Pharmacology Texas Univ. Galveston TX USA

CT images were obtained of the wrist region of 15 cadavers and several living patients. Boundaries of bones were located using a technique based on dynamic programming. The resulting set of surface points on each bone was used to compute principal and antipodal axes and distances between surfaces of the bones, and an interpolation technique was developed to increase the apparent resolution of the 3-D reconstruction. A spatial coordinate system was established based on internal landmarks in the carpal anatomy. The angular orientations of all carpal bones were determined with respect to this system. The principal axes for the same bone among the multiple wrist specimens proved to be more widely dispersed than the antipodal axes for the same bones. The antipodal axes also correspond more closely to an intuitive notion of the "longest axis" of the bones. A method was developed to interpolate surface points between the coarsely-distributed points located by our boundary tracker, and to interpolate data between CT slices, producing a uniformly spaced 3-D data set. The surface of this representation of the bone was used to determine the spacing between the bones in the wrist. The enhanced resolution of the interpolated data improves the resolution of the spacing determination, compared to determinations based only on the points actually located by the boundary tracker.< >

关键词： Bones Computed tomography Wrist Surface reconstruction Cadaver Dynamic programming Interpolation Spatial resolution Three dimensional displays Anatomy

来源：评论

学校读者我要写书评

暂无评论

1st international conference on Formal Methods in programming and their Applications, 1993

1st International Conference on Formal Methods in Programmin...

引用

1st international conference on Formal Methods in programming and their Applications, 1993

ISBN: (纸本)9783540573166

The proceedings contain 29 papers. The special focus in this conference is on Formal Methods in programming and their Applications. The topics include: Theory of domains and nearby (invited paper);predicative programming - a survey;a three-valued logic for refinement;a compositional :semantics of combining forms for gamma programs;algebraic properties of loop invariants;algebraic modelling of imperative languages with pointers;galois connection based abstract interpretations for strictness;efficient chaotic iteration strategies with widenings;semantic analysis of interval congruences;polymorphic typing for call-by-name semantics;functional development of massively parallel programs (invited paper);observing some properties of event structures;the other linear logic (invited paper);duration-calculi: an overview (invited paper);a two-phase approach to reverse engineering using formal methods;algebraically provable specification of optimized compilations;automatical synthesis of programs with recursions and parsing in ISBES.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A two-phase approach to reverse engineering using formal methods 1st

A two-phase approach to reverse engineering using formal met...

引用

1st international conference on Formal Methods in programming and their Applications, 1993

作者： Gannod, Gerald C. Cheng, Betty H. C. Computer Science Department Michigan State University East LansingMI48824 United States

ISBN: (纸本)9783540573166

Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be in a "legacy" or "geriatric" state. Changing architectures and improvements in programming methods, including formal methods in software development and object-oriented programming, have prompted a need to reverse engineer and re-engineer program code. This paper presents a two-phase approach to reverse engineering, the results of which can be used to guide the re-implementation of an object-oriented version of the system. The first phase abstracts formal specifications from program code, while the second phase constructs candidate objects from the formal specifications obtained from the first phase. © Springer-Verlag Berlin Heidelberg 1993.

关键词： Reverse engineering

来源：评论

学校读者我要写书评

暂无评论

A formal approach to requirements engineering 1st

A formal approach to requirements engineering

引用

1st international conference on Formal Methods in programming and their Applications, 1993

作者： Nickl, Friederike Wirsing, Martin Institut für Informatik Ludwig-Maximilians-Universität München Germany

ISBN: (纸本)9783540573166

In this paper the algebraic/axiomatic approach to software specification is proposed as an integrating formal model for requirement descriptions. It is argued that formal specificaton techniques are complementary to informal ones and that they can safely be integrated in an iterative requirements development process. Three results from the German National Project Korso are presented: entity-relationship diagrams, data flow diagrams and access rights are modelled by algebraic specifications in the language SPECTRUM. These schematic techniques are illustrated by a small part of a Korso case study on the requirements specification for a patient information system of a hospital. © Springer-Verlag Berlin Heidelberg 1993.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

A wavefront array processor using dataflow processing elements 1st

引用

1st international conference on Supercomputing, 1987

作者： Vlontzos, John A. Kung, S.Y. Department of Electrical Engineering University of Southern California United States

ISBN: (纸本)9783540189916

In this paper, a prototype Wavefront Array Processor based on the NEC μPD7281 dataflow chip is presented. The interconnections of this array are reconfigurable and its processor addressing scheme permits construction of very large arrays. The programming methodology and high level language are presented. These, facilitate the expression and mapping of linear algebra and signal/image processing algorithms on this array. To illustrate the performance and programming of this machine some indicative applications are discussed. © 1988, Springer-Verlag.

关键词： Linear algebra

来源：评论

学校读者我要写书评

暂无评论

A comparison of concatenated and superimposed code word surrogate files for very large data/knowledge bases 1st

A comparison of concatenated and superimposed code word surr...

引用

1st international conference on Extending Database Technology, EDBT 1988

作者： Chung, Soon Myoung Berra, P. Bruce Dep't of Electrical and Computer Engineering Syracuse University SyracuseNY13244-1240 United States

ISBN: (纸本)9783540190745

Surrogate files are very useful as an index for very large knowledge bases to support multiple logic programming inference mechanisms because of their small size and simple maintenance requirement. In this paper, we analyse the superimposed code word (SCW) and concatenated code word (CCW) surrogate file techniques in terms of storage space and time to answer queries in various cases. One of the most important results of our analysis is that the size and the query response time of the CCW is smaller than those of the SCW when the average number of arguments specified in a query is small. It is also shown that most of the query response time is used for the surrogate file processing when the extensional database is very large. Therefore, if we use a special architecture to speed up the surrogate file processing, the total query response time can be reduced considerably. © 1988, Springer-Verlag.

关键词： Concatenated codes

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共65页 << < 56 57 58 59 60 61 62 63 64 65 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：