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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是611-620 订阅

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

详细简洁

排序：

Partial arc consistency

Partial arc consistency

引用

Workshop on Over-Constrained Systems, held as part of 1st international conference on Principles and Practice of Constraint programming, CP 1995

作者： Dendris, Nick D. Kirousis, Lefteris M. stamatiou, Yannis C. Thilikos, Dimitris M. Department of Computer Engineering and Informatics Patras University Rio Patras265 00 Greece

ISBN: (纸本)3540614796

A constraint network is arc consistent if any value of its variables is compatible with at least one value of any other variable. Enforcing arc consistency in a constraint network is a commonly used preprocessing step before identifying the globally consistent value assignments to all the variables. Since many constraint networks that arise in practice are overconstrained, any global assignment of values to the variables involved, is expected to include constraint violations. Therefore, it is often necessary to enforce some weak form of consistency, to avoid excessive value elimination due to the existence of many constraints. It is also necessary that this form of consistency be enforced fast. In this paper, we introduce a notion of weak local consistency that we call partial arc consistency. We then give an algorithm that, for any constraint network of n variables, outputs a partially arc consistent subnetwork of it in sublinear (0(√nlog n)) parallel time using 0(n2) processors. This algorithm removes at least a constant fraction of the local inconsistencies of a general constraint network, without eliminating any globally consistent assignment of values. To our knoweldge, it is the first sublinear-time parallel algorithm with polynomially many processors that achieves this extent of local consistency. Moreover, we propose several approximation schemes to a total solution of the arc consistency problem. We show that these approximation schemes are inherently sequential (more formally, they are P-complete), a fact indicating that the approach of partial solutions, rather than that of approximation schemes, is more promising for parallelism. © 1996, Springer Verlag. All rights reserved.

关键词： Constraint theory

来源：评论

学校读者我要写书评

暂无评论

Safe stratified datalog with integer order programs 1st

Safe stratified datalog with integer order programs

引用

1st international conference on Principles and Practice of Constraint programming, CP 1995

作者： Revesz, Peter Z. Department of Computer Science and Engineering and Center for Communication and Information Science University of Nebraska-Lincoln LincolnNE68588 United States

ISBN: (纸本)3540602992

Guaranteeing termination of programs on all valid inputs is important for database applications. Termination cannot be guaranteed in stratified Datalog with integer (gap)-order, or Datalog⌝,, programs on generalized databases because they can express any Turing computable function. This paper introduces a restriction of Datalog⌝, that can express only computable queries. The restricted language has a high expressive power and a non-elementary data complexity. © Springer-Verlag Berlin Heidelberg 1995.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

The oti constraint solver: A constraint library for constructing interactive graphical user interfaces 1st

The oti constraint solver: A constraint library for construc...

引用

1st international conference on Principles and Practice of Constraint programming, CP 1995

作者： Borning, Alan Freeman-Benson, Bjorn N. Department of Computer Science and Engineering University of Washington Box 352350 SeattleWA98195-2350 United States Object Technology International Inc R. Buckminster Fuller Laboratory 201 - 506 Fort St VictoriaB.CVSW 1E6 Canada

ISBN: (纸本)3540602992

ENVY/Constraints is an IBM/Smalltalk library that provides a constraint satisfier and a collection of useful constraints, targeted at developing interactive graphical user interfaces. The solver supports multi-way constraints and constraint hierarchies. It uses a hybrid algorithm, combining local propagation with pluggable cycle solvers, allowing constraints to range over arbitrary objects, while at the same time satisfying constraints representing simultaneous equations over the reals. © Springer-Verlag Berlin Heidelberg 1995.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Analyzing the Benefits of Domain Knowledge in Substructure Discovery 1

Analyzing the Benefits of Domain Knowledge in Substructure D...

引用

1st international conference on Knowledge Discovery and Data Mining, KDD 1995

作者： Djoko, Surnjani Cook, Diane J. Holder, Lawrence B. University of Texas at Arlington Department of Computer Science and Engineering Box 19015 ArlingtonTX76019 United States

ISBN: (纸本)0929280822

Discovering repetitive, interesting, and functional substructures in a structural database improves the ability to interpret and compress the data. However, scientists working with a database in their area of expertise often search for predetermined types of structures, or for structures exhibiting characteristics specific to the domain. This paper presents a method for guiding the discovery process with domain-specific knowledge. In this paper, the SUBDUE discovery system is used to evaluate the benefits of using domain knowledge to guide the discovery process. The domain knowledge is incorporated into SUBDUE following a single general methodology to guide the discovery process. Results show that domain-specific knowledge improves the search for substructures which are useful to the domain, and leads to greater compression of the data. To illustrate these benefits, examples and experiments from the computer programming, computer aided design circuit, and artificially-generated domains are presented. © 1995, AAAI (***). All rights reserved.

关键词： Domain Knowledge

来源：评论

学校读者我要写书评

暂无评论

VPEcons: a visual constructor for parallel programming

VPEcons: a visual constructor for parallel programming

引用

IEEE international conference on Algorithms and Architectures for Parallel Processing (ICAP)

作者： Hung-Khoon Tan Wentong Cai Computer Engineering Division School of Applied Science Nanyang Technological University Singapore

ISBN: (纸本)0780320182

The performance and cost-performance benefits of parallel systems make them attractive platforms for many applications. But, these are unfortunately offset by the difficulties of programming parallel computers. Therefore, programming tools are the key to achieve greater success in developing applications for parallel architectures. This paper describes a new tool, VPEcons, for parallel programming development. It uses graphics to assist in the design of parallel programs. To facilitate the portability of the constructor, a VPEcons Builder has also been developed. It is a tool for creating basic component blocks and binding an existing language to the blocks created. The usefulness of the constructor is demonstrated with a parallel discrete-event simulation example and by comparing it with other visual parallel programming tools.< >

关键词： Parallel programming Computer languages programming profession Concurrent computing Discrete event simulation Application software Graphics Discrete transforms Parallel processing Computerized monitoring

来源：评论

学校读者我要写书评

暂无评论

Local and global relational consistency 1st

Local and global relational consistency

引用

1st international conference on Principles and Practice of Constraint programming, CP 1995

作者： Dechter, Rina Van Beek, Peter Department of Information and Computer Science University of California Irvine IrvineCA92717 United States Department of Computing Science University of Alberta EdmontonABT6G 2H1 Canada

ISBN: (纸本)3540602992

Local consistency has proven to be an important concept in the theory and practice of constraint networks. In this paper, we present a new definition of local consistency, called relational consistency. The new definition is relation-based, in contrast with the previous definition of local consistency, which we characterize as variable-based. It allows the unification of known elimination operators such as resolution in theorem proving, joins in relational databases and variable elimination for solving linear inequalities. We show the usefulness and conceptual power of the new definition in characterizing relationships between four properties of constraints—domain tightness, row-convexity, constraint tightness, and constraint looseness—and the level of local consistency needed to ensure global consistency. As well, algorithms for enforcing relational consistency are introduced and analyzed. © Springer-Verlag Berlin Heidelberg 1995.

关键词： Constraint theory

来源：评论

学校读者我要写书评

暂无评论

Embedding authoring support in an ITS for the learning of object-oriented programming

Embedding authoring support in an ITS for the learning of ob...

引用

IEEE international conference on Multi-Media engineering Education

作者： A. Zekl I. Morschel Institute for Industrial Automation and Software Engineering University of stuttgart Stuttgart Germany Institute for Computer Science University of stuttgart Stuttgart Germany

Intelligent tutoring systems (ITS) are of increasing importance for education in many areas. Existing authoring systems are no great support for authors of learning material. Authors should possess knowledge about the subject matter, pedagogical knowledge, and they need to acquire programmer skills, because most authoring languages are similar to normal programming languages. We propose a hypertext-based ITS with tools for structuring the subject matter without programming. Pedagogical knowledge is inherently realized in the system using AI-planning techniques. The authoring components are embedded in an ITS for the learning of object-oriented programming. It comprehends tools to support the visualization, animation, critique and testing of object-oriented programs written in Smalltalk.< >

关键词： Object oriented programming Intelligent systems programming profession Educational programs Computer industry Automation Embedded software Embedded computing Electronic mail Authoring systems

来源：评论

学校读者我要写书评

暂无评论

Location and geometric description of carpal bones in CT images

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

引用

The 1994 1st IEEE international conference on Image Processing

作者： Hillman, G.R. Tagare, H.D. Elder, K.W. stoner, D.M. Patterson, R.M. Nicademus, C.L. Viegas, S.F. Dong, Y. Department of Pharmacology Department of Surgery Center for Biomedical Engineering University of Texas Medical Branch at Galveston Office of Academic Computing GalvestonTX77555-1031 United States Department of Computer Science Yale University New HavenCT06510 United States

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. © 1994 IEEE.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

DRUIDS: tools for understanding data structures and algorithms

DRUIDS: tools for understanding data structures and algorith...

引用

IEEE international conference on Multi-Media engineering Education

作者： G. Whale School of Computer Science and Engineering University of New South Wales Kensington Australia

A clear understanding of data structures and their associated algorithms is highly desirable for engineers. programming subjects usually rely on static methods such as overhead transparencies, blackboards and textbooks to illustrate operations on data structures, while laboratory environments rarely provide the graphical support students need to experiment with algorithms. The system discussed, DRUIDS (Display Resource for Understanding Internal Data structures), establishes a link between instruction and experiment by animating textbook algorithms applied to common data structures, and by allowing the student to exercise their own program code. The resulting changes to the program state can be viewed dynamically at several levels of abstraction, including flow of program control, variable tracing and data structure state.< >

关键词： Data structures Animation Sorting Data engineering programming profession Data visualization Displays Whales Computer science Australia

来源：评论

学校读者我要写书评

暂无评论

Computer aided teaching in teacher training

Computer aided teaching in teacher training

引用

IEEE international conference on Multi-Media engineering Education

作者： R. Kornefors L. Lundberg Department of Engineering and Natural Sciences Växjö University Vaxjo Sweden

The education of teachers must be adapted to present technology. In this paper a course in Computer Aided Teaching is discussed and described. The contents of the course, its relation to other disciplines, and implica... 详细信息

关键词： Computer science education Acoustic testing Educational technology Text processing Educational programs programming profession IEL Psychology Navigation Animation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：