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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,409 篇 会议
50 篇 期刊文献
33 册 图书

馆藏范围

1,490 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

1,116 篇 工学
- 855 篇 计算机科学与技术...
- 501 篇 软件工程
- 120 篇 电气工程
- 112 篇 控制科学与工程
- 83 篇 土木工程
- 77 篇 机械工程
- 74 篇 建筑学
- 67 篇 信息与通信工程
- 42 篇 动力工程及工程热...
- 41 篇 安全科学与工程
- 39 篇 材料科学与工程（可...
- 35 篇 仪器科学与技术
- 33 篇 交通运输工程
- 31 篇 化学工程与技术
- 31 篇 石油与天然气工程
- 29 篇 水利工程
- 23 篇 力学（可授工学、理...
- 23 篇 生物医学工程（可授...
- 22 篇 电子科学与技术（可...
316 篇 理学
- 194 篇 数学
- 63 篇 系统科学
- 55 篇 统计学（可授理学、...
- 43 篇 物理学
- 38 篇 化学
- 30 篇 生物学
198 篇 管理学
- 143 篇 管理科学与工程(可...
- 81 篇 工商管理
- 71 篇 图书情报与档案管...
35 篇 经济学
- 35 篇 应用经济学
28 篇 医学
26 篇 法学
- 24 篇 社会学
23 篇 教育学
9 篇 文学
7 篇 农学
3 篇 艺术学
2 篇 军事学

主题

60 篇 model checking
42 篇 tools
28 篇 static analysis
27 篇 data mining
24 篇 algorithm design...
23 篇 analytical model...
21 篇 stochastic syste...
21 篇 artificial intel...
20 篇 software enginee...
18 篇 semantics
17 篇 real time system...
17 篇 visualization
16 篇 hybrid systems
15 篇 computer archite...
15 篇 big data
15 篇 feature extracti...
15 篇 hardware
15 篇 mathematical mod...
14 篇 machine learning
14 篇 software

机构

12 篇 ludwig maximilia...
7 篇 univ illinois ur...
7 篇 univ twente form...
7 篇 univ penn philad...
6 篇 tech univ munich...
4 篇 verimag ctr equa...
4 篇 rhein westfal th...
4 篇 natl aerosp univ...
4 篇 department of co...
4 篇 suny stony brook...
3 篇 saarland univ sa...
3 篇 university of wa...
3 篇 vienna universit...
3 篇 univ colorado bo...
3 篇 university colle...
3 篇 rwth aachen univ...
3 篇 carnegie mellon ...
3 篇 chinese acad sci...
3 篇 univ oxford dept...
3 篇 iowa state univ ...

作者

13 篇 beyer dirk
8 篇 parker david
8 篇 katoen joost-pie...
8 篇 kwiatkowska mart...
7 篇 hermanns holger
6 篇 yi w
5 篇 majumdar rupak
5 篇 podelski andreas
5 篇 van de pol jaco
5 篇 alur rajeev
5 篇 pettersson p
5 篇 norman gethin
4 篇 behrmann gerd
4 篇 kroening daniel
4 篇 neele thomas
4 篇 bozga marius
4 篇 abdulla parosh a...
4 篇 mateescu radu
4 篇 sharygina natash...
4 篇 groote jan friso

语言

1,438 篇 英文
30 篇 其他
15 篇 德文
7 篇 中文
2 篇 俄文

检索条件"任意字段=12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"

共 1492 条记录，以下是1451-1460 订阅

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

详细简洁

排序：

A document understanding method for database construction of an electronic library

A document understanding method for database construction of...

引用

international conference on Pattern Recognition

作者： A. Takasu S. Satoh E. Katsura Research and Development Department National Center for Science and Information Systems Bunkyo Tokyo Japan

A new method is presented for analyzing document images and constructing a database from them. this method is implemented in an electronic library system named CyberMagazine, where document images are sequentially converted into database tuples by block segmentation, rough classification, and syntactic analysis. CyberMagazine's image understanding method combines the use of decision tree classification and syntactic analysis using a newly presented matrix grammar. In order to combine the classification and the syntactic analysis steps, the authors propose an augmentation technique for carrying out decision tree classification. Experimental results subsequently demonstrate that high understanding accuracy is obtained by adequate augmentation.

关键词： Libraries Image databases Information retrieval Relational databases Image analysis Decision trees Classification tree analysis Text analysis Image converters Matrix converters

来源：评论

学校读者我要写书评

暂无评论

Approach to aircraft subsystems design and integration

Approach to aircraft subsystems design and integration

引用

Proceedings of the IEEE/AIAA 12th Digital Avionics systems conference

作者： Busch, Deborah A. Aldana, Jose F. Rockwell International NAAD El Segundo United States

ISBN: (纸本)0780313445

Aircraft vehicle management system (VMS) and subsystem design requirements emphasizing significant improvements in performance, maintainability, reliability and life cycle cost over existing subsystems, demand the implementation of design and analysis tools which aid the aircraft VMS and subsystem designer in the process to optimize individual subsystem designs within the constraints of the overall aircraft configuration optimization. Modern design process incorporating a combination of new and existing software programs are being implemented at Rockwell international and other airframe manufacturers to provide designers with capabilities leading to significant productivity improvements. this paper describes the design philosophy and methodology and the preliminary mechanization of the 'top down' design process for aircraft subsystems.

关键词： Aircraft

来源：评论

学校读者我要写书评

暂无评论

PROGRESS IN HIGH-LEVEL EXPLORATORY VISION 12

PROGRESS IN HIGH-LEVEL EXPLORATORY VISION

引用

12th conference on Intelligent Robots and Computer Vision: algorithms and Techniques

作者： BRAND, M NORTHWESTERN UNIV INST LEARNING SCIEVANSTONIL 60201

ISBN: (纸本)0819413208

We have been exploring the hypothesis that vision is an explanatory process, in which causal and functional reasoning about potential motion plays an intimate role in mediating the activity of low-level visual processes. In particular, we have explored two of the consequences of this view for the construction of purposeful vision systems: Causal and design knowledge can be used to (1) drive focus of attention, and (2) choose between ambiguous image interpretations. An important result of visual understanding is an explanation of the scene's causal structure: How action is originated, constrained, and prevented, and what will happen in the immediate future. In everyday visual experience, most action takes the form of motion, and most causal analysis takes the form of dynamical analysis. this is even true of static scenes, where much of a scene's interest lies in how possible motions are arrested. this paper describes our progress in developing domain theories and visual processes for the understanding of various kinds of structured scenes, including structures built out of children's constructive toys and simple mechanical devices.

关键词： Visualization Visual analytics Buildings Robots Computer vision technology Machine vision Motion analysis Pathology Robot vision Visual process modeling

来源：评论

学校读者我要写书评

暂无评论

Laure: an operational expert system for the analysis of faults occurring on medium voltage networks

Laure: an operational expert system for the analysis of faul...

引用

Proceedings of the 12th international conference on Electricity Distribution

作者： Tache, O. Antoine, J.C. Electricite de France France

ISBN: (纸本)0852965656

To better meet the expectations and requirements of its customers, EDF has, for several years, been making every effort to improve the quality of the electrical energy supplied. Ensuring the reliability of medium voltage units is a key part of this strategy. this measure reduces long and short cut-outs that were proving to be an increasing problem for customers using sensitive production or management equipment based on modern technologies such as computing. the increased levels of reliability come as the result of new methods and tools for the diagnostics, upkeep and renewal of MV overhead networks. In this prospect, EDF has developed a method termed 'auscultation', which consists in analysing all the electrical incidents affecting a medium-voltage feeder and identifying the sources of transient faults. this diagnostics method can only be effective if it is through, and require time and a certain degree of experience on the part of the operators in charge of analysing the data. To generalize this method and improve its efficiency, the EDF R&D department has drawn up the specifications and modelled a tool for auscultation aid. the mock-up, produced using an expert system approach, enabled requirements to be clearly defined and suggested a number of possible solutions using current technology. the functions of the software product are described in detail below, together with the initial operating results.

关键词： Expert systems

来源：评论

学校读者我要写书评

暂无评论

Reconfigurable cube architecture for parallel computation

Reconfigurable cube architecture for parallel computation

引用

international conference on Distributed Computing systems

作者： K. Efe The Center for Advanced Computer Studies University of Southwestern Louisiana Lafayette LA USA

the construction of a dynamic cube network architecture that extends the capabilities of hypercube architectures with only a small increase in hardware complexity is described. the network is self-routing in the sense that there is a simple distributed routing algorithm which guarantees optimal paths between any pair of the vertices. this, together with other improvements in embedding properties, makes the dynamic cube an attractive alternative to the ordinary hypercube for massively parallel architectures.< >

关键词： Computer architecture Concurrent computing Hypercubes Routing Switches Network topology Computer networks Broadcasting Partitioning algorithms Performance analysis

来源：评论

学校读者我要写书评

暂无评论

PRESENTATION OF MULTIATYRIBUTE DATA: TESTING thE thEORY OF COGNITIVE FIT 12th

PRESENTATION OF MULTIATYRIBUTE DATA: TESTING THE THEORY OF C...

引用

12th international conference on Information systems, ICIS 1991

作者： Umananth, Narayan S. Vessey, Iris Pennsylvania State University University Park United States

Our research assessed the ability of the theory of cognitive fit to explain the performance of certain display formats on multiattribute judgment tasks. this theory suggests that for most effective and efficient problem solving to occur, the problem representation (Le., the data) and any tools or aids employed should all support the strategies (methods or processes) required to perform that task. the effect of information load on performance was also investigated in the context of cognitive fit. Performance with schematic faces, graphs, and tables on a bankruptcy prediction task was investigated with an optimal (nominal) number of variables (those that contributed significantly to a linear discriminant analysis of the data) as well as with additional variables that were, in essence, distractors. Schematic faces provide a cognitive fit with the (holistic) multiattributc judgment tasks under investigation. Graphs facilitate a less desirable aggregating process than schematic faces. Tables, on the other hand, have no aggregating capabilities. Participants made decisions with two of the three display formats, one at nominal and the other at increased information load, in a fractional factorial design. the results on the multiattribute judgment task were as follows. © 1991, Association for Information systems. All rights reserved.

关键词： Discriminant analysis

来源：评论

学校读者我要写书评

暂无评论

thE LIVING CASE: AN INTELLIGENT SYSTEM FOR PROVIDING CASE INSTRUCTION 12th

THE LIVING CASE: AN INTELLIGENT SYSTEM FOR PROVIDING CASE IN...

引用

12th international conference on Information systems, ICIS 1991

作者： Turner, Jon A. Kumar, Rachna Information Systems Department New York University United States

One of the primary methods of instruction in business education is the case. However, some of the basic learning goals associated with case instruction are compromised by its form of presentation. We have used new forms of media, involving computing and communication, to build a novel learning environment, the Living Case, which flexibly and interactively presents cases along with dynamic, ongoing feedback to students while they work. Key to providing meaningful assistance during case analysis is the ability to model and interpret student behavior. Several investigations were conducted in order to understand the process of case analysis. Case analysis is characterized as a problem solving activity driven by comprehension and reasoning operators. Twelve hours of protocols are analyzed using "retelling profiles" as an interpretation mechanism for further specifying the operators involved in analyzing a case. Retelling profiles are visual time plots of the activities undertaken in a reading task. Our preliminary results suggest a deeper structure to case analysis which is common across business disciplines, cases, and analysts, and therefore implementable in a system like Living Case. Differences between the analysis strategies of experts and novices are formalized in terms of the experts’ use of "templates" of typical company behaviors. this provides the basis for building mechanisms to instruct and re-orient case analysts using the Living Case system. the Living Case system is described along with some of the insights gained during its construction. Future research directions and instructional uses of the system are also discussed. © 1991, Association for Information systems. All rights reserved.

关键词： Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

the application of Neural Network based methods to the extraction of knowledge from accounting reports 24

The application of Neural Network based methods to the extra...

引用

24th Annual Hawaii international conference on System Sciences, HICSS 1991

作者： Treigueiros, Duarte Berry, Robert Accountancy and Finance Sector School of Information Systems University of East Anglia NorwichNR4 7TJ United Kingdom

In this study we develop a new approach to the problem of extracting meaningful information from samples of accounting reports. We show that Neural Network-like algorithms are capable of implementing this approach. Such tools are able to automatically build optimal structures similar to financial ratios. Some results are presented. they suggest that this approach effectively avoids the search of appropriate ratios by the analyst along with some other major drawbacks of the multivariate statistical modelling techniques used in accountancy. the organization of the Neural Network models also outlines internal features of accounting data, providing new insights into the relative importance of variables for modelling a particular relation. the paper also argues that in the accounting and finance context a major problem of Neural Networks, that of understandability of the resulting parameters, is minimised. Much of the internal operation of the networks involves the construction of generalisations of the ratio concepts with which accountants are familiar. © 1991 IEEE.

关键词： Multivariant analysis

来源：评论

学校读者我要写书评

暂无评论

MAthEMATICAL-MODELS FOR thE construction OF A RENEWABLE ENERGY HYBRID PLANT

MATHEMATICAL-MODELS FOR THE CONSTRUCTION OF A RENEWABLE ENER...

引用

12th international TELECOMMUNICATIONS ENERGY CONF ( INTELEC 90 )

作者： MARCHETTI, GP PICCOLO, M PT Ministry Rome Italy

In order to develop renewable energy sources technology in power supply plants, it is necessary to provide designers with tools capable of recognizing at short notice any areas of convenience in its utilization, either as a stand-alone or as a hybrid (with generator back-up) project. Typical renewable sources considered are solar and wind energy, but the results are applicable to any other energy source. the block diagram of the plant includes renewable generator(s), storage battery, and standby diesel engine generator. At first, the authors developed an analysis based on a mathematical model that included only one renewable random source. this model related environmental statistical factors to the sizing parameters and consequently to the costs of each block. However, since the sizing is not univocally defined, the model takes the battery autonomy as 'variable' and executes on it an optimization process finalized to minimum overall cost. In conclusion, the resulting output gives either the optimized sizing parameters or the costs of each block. A step-by-step optimization procedure is described including annual cost vs. battery autonomy function consideration;mathematical approach to the environmental influence;sizing criteria of the renewable generator;the database utilized and its analysis;model algorithms;comparison between experimental and theoretical results;and the two renewable generators model.

关键词： Electric Power systems

来源：评论

学校读者我要写书评

暂无评论

Software tools for examination of microanalytical images

Software tools for examination of microanalytical images

引用

Proceedings of the 25th Annual conference of the Microbeam analysis Society presented at the 12th international Congress for Electron Microscopy

作者： Bright, D.S. Natl Inst of Standards and Technology Gaithersburg United States

the software tools discussed in this paper are programs written for a Macintosh computer. NIH IMAGE is a program for displaying and processing images, and for measuring images under direct operator control. MaxSpin is used to display three-dimensional graphics and perform rotations in real time. NCSA PalEdit is a palette editor and display utility. the tools augment the image acquisition and processing done on minicomputers having operating systems with virtual memory. the minicomputers are connected to microscopes and support the LISPIX image processing, system, which is written in FORTRAN and LISP. A computer network is used to transfer images between the minicomputers and the desktop computers.

关键词： Image Processing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共150页 << < 141 142 143 144 145 146 147 148 149 150 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：