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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,178 篇 会议
329 篇 期刊文献
7 册 图书
4 篇 学位论文

馆藏范围

1,518 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

641 篇 工学
- 460 篇 计算机科学与技术...
- 311 篇 软件工程
- 221 篇 电气工程
- 78 篇 控制科学与工程
- 63 篇 信息与通信工程
- 49 篇 机械工程
- 31 篇 电子科学与技术（可...
- 20 篇 仪器科学与技术
- 16 篇 材料科学与工程（可...
- 7 篇 生物医学工程（可授...
- 6 篇 力学（可授工学、理...
- 6 篇 动力工程及工程热...
- 6 篇 化学工程与技术
- 5 篇 建筑学
- 5 篇 生物工程
- 4 篇 土木工程
- 4 篇 航空宇航科学与技...
- 4 篇 核科学与技术
106 篇 理学
- 69 篇 数学
- 14 篇 物理学
- 11 篇 系统科学
- 11 篇 统计学（可授理学、...
- 10 篇 生物学
- 7 篇 科学技术史(分学科...
55 篇 管理学
- 40 篇 管理科学与工程(可...
- 15 篇 图书情报与档案管...
- 8 篇 工商管理
9 篇 医学
- 6 篇 临床医学
6 篇 教育学
- 6 篇 教育学
4 篇 文学
- 4 篇 新闻传播学
2 篇 哲学
2 篇 经济学
2 篇 法学
1 篇 历史学

主题

1,518 篇 automatic progra...
155 篇 programming prof...
144 篇 application soft...
143 篇 automatic contro...
136 篇 computer science
109 篇 robot programmin...
106 篇 robotics and aut...
104 篇 genetic programm...
90 篇 automatic testin...
88 篇 control systems
86 篇 hardware
84 篇 computer languag...
82 篇 humans
80 篇 software enginee...
76 篇 costs
73 篇 automation
72 篇 testing
70 篇 software systems
65 篇 functional progr...
63 篇 system testing

机构

8 篇 the robotics ins...
5 篇 school of comput...
4 篇 fujitsu laborato...
4 篇 national univers...
4 篇 graduate school ...
3 篇 department of co...
3 篇 sandia national ...
3 篇 college of infor...
3 篇 school of machin...
3 篇 swoop cambridge ...
3 篇 ostfold univ col...
3 篇 sri internationa...
3 篇 school of comput...
3 篇 hamilton coll cl...
3 篇 lockheed palo al...
3 篇 research institu...
3 篇 ibm research lab...
3 篇 sivas cumhuriyet...
3 篇 production model...
3 篇 department of el...

作者

11 篇 k. ikeuchi
7 篇 olsson roland
6 篇 h. mizutani
6 篇 arslan sibel
5 篇 akira hara
5 篇 arpaia pasquale
5 篇 c. ramos
5 篇 t. suehiro
5 篇 t. matsudaira
5 篇 j. rocha
5 篇 tetsuyuki takaha...
4 篇 katagiri takahir...
4 篇 helmuth thomas
4 篇 t. thomasma
4 篇 ikeuchi k
4 篇 pantridge edward
4 篇 jun-ichi kushida
4 篇 c.e. moron
4 篇 spector lee
4 篇 t.l. marzetta

语言

1,457 篇 英文
56 篇 其他
3 篇 中文
2 篇 日文
1 篇 法文

检索条件"主题词=Automatic Programming"

共 1518 条记录，以下是1061-1070 订阅

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

详细简洁

排序：

Head automata for speech translation

Head automata for speech translation

引用

International Conference on Spoken Language, ICSLP

作者： H. Alshawi AT and T Research Murray Hill NJ USA

Presents statistical language and translation models based on collections of small finite-state machines that we call "head automata". The models are intended to capture the lexical sensitivity of N-gram models and direct statistical translation models, while at the same time taking account of the hierarchical phrasal structure of language. Two types of head automata are defined: relational head automata, which are suitable for translation by the transfer of dependency trees, and head transducers, which are suitable for direct recursive lexical translation.

关键词： Automata Speech Magnetic heads Transducers Robustness Context modeling automatic programming Functional programming Stochastic processes Natural languages

来源：评论

学校读者我要写书评

暂无评论

A bulk-synchronous parallel library implementation for the BBN butterfly GP1000

A bulk-synchronous parallel library implementation for the B...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： M.W. Goudreau E.D. Root Department of Computer Science University of Central Florida Orlando FL USA

One of the fundamental goals of parallel computing is to develop a framework that will support portable and efficient application programs. The Bulk-Synchronous Parallel (BSP) model was proposed to help achieve this goal. The BSP model is intended to be a "unifying model"-it addresses both software and hardware issues by allowing theoretical analysis to coexist with practical physical implementations. For several years the BSP model has been supported mainly by theoretical results. Recent experiments, however, have begun to demonstrate the practicality of the model for real architectures running real applications. The goal of this paper is to describe the methodology used to construct an efficient BSP library on the BBN Butterfly GP1000. Our results are relevant for BSP library implementations on shared-memory systems in general and for NUMA (nonuniform m-memory-access) machines in particular.

关键词： Libraries Hardware Phase change random access memory programming profession Application software Parallel processing Computer architecture automatic programming Computer science Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Supporting product line development 96

Supporting product line development

引用

International Workshop on Software Process

作者： R. Balzer Information Sciences Institute Marina del Rey CA USA

ISBN: (纸本)9780818677250

The author considers how the maturation of the software development field has been inextricably tied to its adoption of a product line orientation. Only by specializing in a particular application domain can software development organizations develop the expertise required for that domain, develop cost effective products, and establish a market niche. He argues that software development processes are fundamentally flawed because maintenance, including enhancement and evolution, is performed on source code. This source code has been hand optimized by programmers and that optimization has spread information and built up implicit dependencies among the parts.

关键词： automatic programming Computer bugs Application software Testing Debugging Specification languages Decision support systems Refining Engineering management Feedback

来源：评论

学校读者我要写书评

暂无评论

automatic analysis of functional program style

Automatic analysis of functional program style

引用

Australian Conference on Software Engineering

作者： G. Michaelson Department of Computing and Electrical Engineering Heriot-Watt University UK

Functional programming style is discussed and seven simple semantic style rules, based on program transformation, are enunciated. An automatic style analyser developed from these rules is then presented.

关键词： Computer languages automatic programming Natural languages Functional programming Testing Writing Humans Computer errors Program processors Optimizing compilers

来源：评论

学校读者我要写书评

暂无评论

3D matching using statistically significant groupings

3D matching using statistically significant groupings

引用

International Conference on Pattern Recognition

作者： B.R. Modayur L.G. Shapiro Department of Biological Structure University of Washington Seattle WA USA Department of Computer Science & Engineering University of Washington Seattle WA USA

Vision programming is defined as the task of constructing explicit object models to be used in object recognition. These object models specify the features to be used in recognizing the object as well as the exact order in which they have to be used. In this article, we describe a vision programming approach to matching 3D models to 2D images. Our system considers feature clusters instead of individual features and dynamically orders unmatched feature clusters based on the existing state of the match. The dynamic feature cluster ordering is achieved through the use of a new dynamic cost function. The automatic vision programming framework is general enough to be used by any feature-based recognition system, and in this article, it is shown to lead to dramatic improvements in the performance of a correspondence-based object recognition system.

关键词： Cost function Object recognition automatic programming Biological system modeling Dynamic programming Error analysis Biology Computer science Training data Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Modelling an industrial software process using a commercially available tool

Modelling an industrial software process using a commerciall...

引用

Israel Conference on Computer Systems and Software Engineering

作者： D. Martin R. Nilsson J. Hallstrand P. Jauhiainen H. Malm Broadcom Eireann Research Dublin Ireland Ericsson Telecommunications System Laboratories Alvsjo Sweden

Although there has been much interest in process modelling and automation within the software industry, there have been few independent reports of experience gained an the application of this technology to industrial software processes. The paper describes the experience gained modelling an extract from a large industrial software process using a commercially available tool. The purpose of the project was to assess the maturity of process modelling technology and specifically the functionality provided by the tool used. Feedback is given on programming a software process using the underlying notation of the tool, on the issues surrounding the translation from an organisation's process notation to that of a particular tool, and on process modelling and automation issues in general. The conclusions are that while benefits can be gained from an automation effort, modelling and translation between notations can be difficult.

关键词： Computer industry Software tools Automation Software engineering Feedback Manufacturing industries Laboratories Application software automatic programming Project management

来源：评论

学校读者我要写书评

暂无评论

Semi-automatic transformation from formal specifications to programs

Semi-automatic transformation from formal specifications to ...

引用

IEEE International Conference on Engineering of Complex Computer Systems

作者： Shaoying Liu C. Ho-Stuart Hiroshima City University Hiroshima Japan Queensland University of Technology Brisbane Australia

As model-based formal methods (e.g. VDM, Z) are becoming popular for the development of safety-critical and complex systems in industry, automatic transformation from formal specifications to programs is an ideal and efficient approach to software production. However, it is impossible in general for this transformation to be fully automatic, because the language of first order logic used for specification is not decidable. This paper uses VDM (Vienna Development Method) as an example to investigate this difficulty, and proposes an approach to address the problem. Rules for automatically transforming abstract level VDM specifications are described and further transformation at a detailed level is discussed. Finally, further work towards the construction of a rule-based software system to support the transformation from VDM specifications to programs in general is addressed.

关键词： Formal specifications Input variables Production systems automatic logic units automatic programming Cities and towns Australia

来源：评论

学校读者我要写书评

暂无评论

Intelligent system of selecting key search algorithms automatically

Intelligent system of selecting key search algorithms automa...

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： M. Fuketa K. Morita M. Shishibori Jun-Ichi Aoe Department of Information Science & Intelligent Systems University of Tokushima Tokushima Japan

This paper proposes an automatic selection method for key search algorithms. The methodology has been implemented in a system called KESE2. Key search algorithms are selected according to user's requirements through conversation controlled by inferences performed upon an evaluation table. The evaluation table has values representing fitness between search algorithms and their characteristics, or properties, to the applications. The selection algorithm presented determines candidates of key search algorithms by reducing unsuitable methods step by step. The questions to be asked to the user are driven by inferences over the restricted set. The paper also proposes an assisting facility that consists of both a supporting function and a program synthesis function. Experimental results show that by using the selection algorithm, the number of questions to be asked in order to select the appropriate key search algorithm was less than half the number of questions without inferences.

关键词： Intelligent systems Inference algorithms Costs Electronic mail Information science automatic control System performance automatic programming Performance evaluation Humans

来源：评论

学校读者我要写书评

暂无评论

An approach to relational database schema integration

An approach to relational database schema integration

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： I. Lukovic P. Mogin Faculty of Technical sciences Institute of Industrial Systems University of Novi Sad Novi Sad Serbia

The main goal of the paper is to give a formalization of the relational database schema integration process, as a part of a database schema design. We briefly describe the form type concept and the module schema design, which are related to the integration process. Database schema of the information system is obtained by progressive pairwise integration of so called database module schemes, that are usually built by different designers. An integration process is preceded by checking of database module schemes onto mutual consistency.

关键词： Relational databases Algorithm design and analysis Software performance Software quality Software tools Software algorithms Industrial relations Information systems automatic programming Functional programming

来源：评论

学校读者我要写书评

暂无评论

A sixteen level scheme enabling 64 Mbit flash memory using 16 Mbit technology

A sixteen level scheme enabling 64 Mbit flash memory using 1...

引用

International Electron Devices Meeting (IEDM)

作者： D.L. Kencke R. Richart S. Garg S.K. Banerjee Microelectronics Research Center University of Texas Austin Austin TX USA Advanced Micro Devices Inc. Austin TX USA

Multilevel flash memories have been shown to double storage capacity without changing device dimensions. In this work, it is demonstrated for the first time that sixteen levels can be stored within a small 2.5 V spread, quadrupling memory size with four bits/cell. A new method is used to calculate programmed threshold voltages, V/sub t/'s, showing that transistor V/sub t/'s may overlap while logical V/sub t/'s remain distinct. A ten-year equivalent data retention bake demonstrates the feasibility of this approach for producing 64 Mbit storage capacity using existing 16 Mbit NOR stacked-gate technology.

关键词： Flash memory Threshold voltage Transconductance automatic programming Current measurement Charge measurement Solid state circuits Microelectronics automatic testing EPROM

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共152页 << < 103 104 105 106 107 108 109 110 111 112 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：