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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

91 篇 会议
1 册 图书
1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

64 篇 工学
- 45 篇 计算机科学与技术...
- 38 篇 软件工程
- 12 篇 信息与通信工程
- 9 篇 电气工程
- 4 篇 控制科学与工程
- 3 篇 生物工程
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 冶金工程
- 1 篇 动力工程及工程热...
- 1 篇 电子科学与技术（可...
- 1 篇 土木工程
- 1 篇 农业工程
- 1 篇 生物医学工程（可授...
- 1 篇 安全科学与工程
- 1 篇 网络空间安全
12 篇 管理学
- 8 篇 管理科学与工程(可...
- 7 篇 工商管理
- 5 篇 图书情报与档案管...
6 篇 理学
- 4 篇 数学
- 3 篇 生物学
- 3 篇 统计学（可授理学、...
4 篇 法学
- 4 篇 社会学
2 篇 医学
- 2 篇 临床医学
- 1 篇 基础医学(可授医学...
- 1 篇 公共卫生与预防医...
1 篇 教育学
- 1 篇 教育学
1 篇 农学
- 1 篇 作物学

主题

4 篇 design patterns
3 篇 pattern matching
3 篇 design
3 篇 machine learning
3 篇 pattern language
2 篇 tools
2 篇 career
2 篇 educational patt...
2 篇 program synthesi...
2 篇 program repair
2 篇 brain-computer i...
2 篇 electronic mail
2 篇 pattern language...
2 篇 natural language...
2 篇 education
2 篇 binding time
2 篇 pattern recognit...
2 篇 powerpoint
2 篇 cybersecurity
2 篇 pattern selectio...

机构

2 篇 infineon technol...
2 篇 university of co...
2 篇 department of co...
2 篇 brightone munich
2 篇 syracom ag
2 篇 graz university ...
2 篇 univ calif los a...
2 篇 han university o...
2 篇 university duisb...
2 篇 university of ca...
2 篇 cert program sof...
2 篇 technische unive...
1 篇 univ waterloo wa...
1 篇 ist italiano tec...
1 篇 eãtvãs lorãind u...
1 篇 kyushu univ dept...
1 篇 univ wisconsin m...
1 篇 pricewaterhousec...
1 篇 greenhouse techn...
1 篇 university of be...

作者

2 篇 bhatia sahil
2 篇 preschern christ...
2 篇 lu bao-liang
2 篇 kreiner christia...
2 篇 seshia sanjit a.
2 篇 christian kreine...
2 篇 christopher pres...
2 篇 shi li-chen
2 篇 moore andrew p.
2 篇 iba takashi
2 篇 kim miryung
2 篇 cheung alvin
1 篇 azal wasif
1 篇 geman oana
1 篇 khiu eric
1 篇 viciana-abad raq...
1 篇 li shutao
1 篇 steger christian
1 篇 schoppmann phill...
1 篇 holtel stefan

语言

92 篇 英文
1 篇 其他

检索条件"任意字段=Proceedings of the 18th European Conference on Pattern Languages of Program"

共 93 条记录，以下是81-90 订阅

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

详细简洁

排序：

the AQ21 Natural Induction program for pattern Discovery: Initial Version and its Novel Features

The AQ21 Natural Induction Program for Pattern Discovery: In...

引用

International conference on Tools for Artificial Intelligence (ICTAI)

作者： J. Wojtusiak R.S. Michalski K.A. Kaufman J. Pietrzykowski George Mason University USA Polish Academy of Sciences Poland

the AQ21 program aims to perform natural induction, a process of generating inductive hypotheses in human-oriented forms that are easy to interpret and understand. this is achieved by employing a highly expressive representation language, attributional calculus, whose statements resemble natural language descriptions. this paper focuses on the pattern discovery mode of AQ21, which produces attributional rules that capture strong regularities in the data, but may not be fully consistent or complete with regard to the training data. AQ21 integrates several novel features, such as optimizing patterns according to multiple criteria, learning attributional rules with exceptions, generating optimized sets of alternative hypotheses, and handling data with unknown, irrelevant and/or non-applicable meta-values

关键词： Calculus Clocks Machine learning Data mining Computer science Induction generators Natural languages Training data Optimization methods Decision trees

来源：评论

学校读者我要写书评

暂无评论

Radiation pattern of arrays mounted on conical structures 18

Radiation pattern of arrays mounted on conical structures

引用

18th International conference on Applied Electromagnetics and Communications held Jointly with COST 284 Workshop

作者： Zmak, Krego Sipus, Zvonimir Univ Zagreb Fac Elect & Comp Engn HR-10000 Zagreb Croatia

ISBN: (纸本)9536037440

the paper discusses the method for determining radiation pattern of an array mounted on a conical structure. Two types of antenna elements are considered: waveguide openings and microstrip patch antennas. the analysis method is based on the modal representation of the EM field, i.e. the solution procedure takes advantage of representing the fields as a sum of spherical harmonics with unknown amplitudes. By introducing normalized associate Legendre functions, together with pre-calculation of terms that depend only on conical geometry, an accurate and efficient program has been developed. A comparison was made between the calculated radiation pattern and the measurements of different waveguide and patch array configurations. All the considered results showed high accuracy of the developed method.

关键词： Waveguides

来源：评论

学校读者我要写书评

暂无评论

Increasing concurrency in databases using program analysis 18

Increasing concurrency in databases using program analysis

引用

18th european conference on Object-Oriented programming, ECOOP 2004

作者： Vitenberg, Roman Kvilekval, Kristian Singh, Ambuj K. Computer Science Department UCSB Santa BarbaraCA93106 United States

ISBN: (纸本)354022159X

programmers have come to expect better integration between databases and the programming languages they use. While this trend continues unabated, database concurrency scheduling has remained blind to the *** propose that the database client programs provide a large untapped information resource for increasing database throughput. Given this increase in expressive power between programmers and databases, we investigate howprogram analysis can increase database concurrency. In this paper, we demonstrate a predictive locking scheduler for object databases. In particular we examine the possibility to predict the client’s use of locks. Given accurate predictions, we can increase concurrency through early lock release, perform deadlock detection and prevention, and determine whether locks should be granted before or during a transaction. Furthermore, we demonstrate our techniques on the OO7 and other benchmarks. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Locks (fasteners)

来源：评论

学校读者我要写书评

暂无评论

Applying AutoBayes to the analysis of planetary nebulae images 03

Applying AutoBayes to the analysis of planetary nebulae imag...

引用

18th IEEE International conference on Automated Software Engineering

作者： Fischer, B Schumann, J NASA Ames Res Ctr RIACS Moffett Field CA 94035 USA

ISBN: (纸本)0769520359

We take a typical scientific data analysis task, the analysis of planetary nebulae images taken by the Hubble Space Telescope, and describe how program synthesis can be used to generate the necessary analysis programs from high-level models. We describe the AUTOBAYES synthesis system, discuss its fully declarative specification language, and present the automatic program derivation starting with the scientists' original analysis [7].

关键词： Image analysis Data analysis Telescopes Specification languages Hydrogen NASA Electronic mail pattern analysis Uncertainty Instruments

来源：评论

学校读者我要写书评

暂无评论

pattern-based model transformation

Pattern-based model transformation

引用

18th Annual ACM SIGPLAN conference on Object-Oriented programming, Systems, languages, and Applications, OOPSLA'03

作者： Judson, Sheena R. Computer Science Department Louisiana State University Baton Rouge LA United States

ISBN: (纸本)1581137516

Model Driven Architecture (MDA), which supports the development of software-intensive systems through the transformation of models to executable components and applications, requires a standard way to express transformations. the approach developed by this research focuses on defining pattern-based transformation at the metamodel level. this research has two primary objectives. the first objective is to support systematic application of patterns. the use of patterns as model building blocks (through pattern-based transformations) helps raise the level of abstraction at which systems are developed. the second research objective is to support controlled model evolution by specifying pattern-based transformations at the metamodel level.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Automating test program generation in STIL - Expectations and experiences using IEEE 1450 8

Automating test program generation in STIL - Expectations an...

引用

8th IEEE european Test Workshop

作者： Lang, H Pande, B Ahrens, H Motorola Inc Schaumburg IL 60196 USA

ISBN: (纸本)0769519083

At the International Test conference 2002 several low cost test solutions were presented. All of these solutions promised to establish a close link between Automatic Test pattern Generation, ATE based testing and Fault Diagnosis/Analysis by using the IEEE 1450 Standard Test Interface Language (STIL). However, the reality is different. this paper describes the integration of a STIL based tester into the standard Motorola test program generation flow. the expected benefits of this very low cost test approach are measured against the problems which had to be solved in order to achieve a high degree of automation. All remaining problems described in this paper need to be addressed by the EDA vendors, the ATE companies and the different STIL committees. Only when these issues are resolved STIL will become a success for the test world.

关键词： Assembly Automatic test pattern generation Automatic testing conferences Debugging Discrete event simulation Hardware design languages Silicon Test pattern generators Timing

来源：评论

学校读者我要写书评

暂无评论

A formal pattern language for refactoring of Lisp programs

A formal pattern language for refactoring of Lisp programs

引用

6th european conference on Software Maintenance and Reengineering (CSMR 2002)

作者： Leitao, AM Univ Tecn Lisboa Dept Informat Engn Grp Inteligencia Artificial Inst Super Tecn P-1049001 Lisbon Portugal

ISBN: (纸本)0769514383

Refactoring tools are extremely important to prevent errors in legacy systems restructuring. Unfortunately, to be effective, these tools require huge computer resources that cause unacceptable inefficiencies or limit the size of the restructured programs or even the programming language expressiveness. Previous approaches also made it difficult for the programmer to extend the tool with new refactoring operations. pattern languages exist that describe several techniques to refactor a program. However they are usually described at a very abstract level that is understandable only by a human programmer and that is hard to implement in refactoring tools. We present a formal pattern language that solves these problems. the pattern language is used to define refactoring operations that can be as powerful as is computationally possible but that are very easy to write. the language simplicity also allows for the automatic learning of new refactoring operations from the observation of manual code transformations.

关键词： Legacy systems

来源：评论

学校读者我要写书评

暂无评论

UTACLIR @ CLEF 2002: Towards a unified translation process model

UTACLIR @ CLEF 2002: Towards a unified translation process m...

引用

2002 Cross Language Evaluation Forum Workshop, CLEF 2002, co-located with the 6th european conference on Digital Libraries, ECDL 2002

作者： Airio, Eija Keskustalo, Heikki Hedlund, Turid Pirkola, Ari University of Tampere Department of Information Studies Finland

the UTACLIR query translation system was originally designed for the CLEF 2000 and 2001 campaigns. In the two first years the query translation application consisted of separate programs based on common translation principles for the language pairs Finnish - English, German - English and Swedish - English. the idea of UTACLIR is based on recognizing distinct source key types and processing them accordingly. the linguistic resources utilized by the framework include morphological analysis or stemming in indexing, stop word removal, normalization of topic words, splitting of compounds written together, handling of non-translated words, phrase composition of compounds in the target language, bilingual dictionaries and structured queries. this year we participated in CLEF with the new UTACLIR system, which is a single program unified for all the languages. the user gives the system the codes of source and target language as well as the query to be translated. the UTACLIR system chooses the language resources upon the codes the user has given. A morphological analyser is used to process the source language words in order to match the words in the translation dictionary. We have utilized an 18-language dictionary (with all possible language pairs) as the main translation resource of the UTACLIR. It is also possible to implement other parallel dictionaries. For the target language it is possible to use either a morphological analyser or a stemmer. Copyright © 2002 for the individual papers by the papers' authors.

关键词： Translation (languages)

来源：评论

学校读者我要写书评

暂无评论

7th european Symposium on programming, ESOP 1998 Held as Part of the Joint european conferences on theory and Practice of Software, ETAPS 1998

7th European Symposium on Programming, ESOP 1998 Held as Par...

引用

7th european Symposium on programming, ESOP 1998 Held as Part of the Joint european conferences on theory and Practice of Software, ETAPS 1998

ISBN: (纸本)3540643028

the proceedings contain 18 papers. the special focus in this conference is on programming languages and Systems. the topics include: Concurrent constraint programming based on functional programming;a bisimulation method for cryptographic protocols;a polyvariant binding-time analysis for off-line partial deduction;complexity of concrete type-inference in the presence of exceptions;an efficient new fixpoint algorithm for distributive constraint systems;reasoning about classes in object-oriented languages;language primitives and type discipline for structured communication-based programming;recursive object types in a logic of object-oriented programs;about modes and states for reactive systems;building a bridge between pointer aliases and program dependences;a complete declarative debugger of missing answers;systematic change of data representation and a generic framework for specialization.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A survey of european reuse experiences: initial results

A survey of European reuse experiences: initial results

引用

EUROMICRO conference

作者： M. Ezran M. Morisio C. Tully Yaltech France Politecnico of Torino Italy CTA UK

the paper presents the initial results of the Surprise project. Surprise is an Essi Dissemination action, aimed at identifying and disseminating key factors in adopting or running a company-wide software reuse program. Key factors are derived from empirical evidence of best reuse practices, as emerged from an extensive survey of recent european software reuse projects: around 18 reuse projects performed in Europe from 1994 to 1997 were analysed. A number of key issues that determine the software reuse policy have been identified: management, organisation, human aspects, processes, repository. For each of them, success and failure examples are analysed, main risks and success factors are detailed.

关键词： Europe Companies Humans Computer languages Expert systems Software tools Packaging Guidelines Knowledge management Production

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共10页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：