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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

182 篇 会议
14 册 图书
11 篇 期刊文献

馆藏范围

206 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

149 篇 工学
- 138 篇 计算机科学与技术...
- 63 篇 软件工程
- 35 篇 电气工程
- 13 篇 控制科学与工程
- 4 篇 信息与通信工程
- 4 篇 生物工程
- 3 篇 生物医学工程（可授...
- 2 篇 化学工程与技术
- 2 篇 交通运输工程
- 1 篇 材料科学与工程（可...
- 1 篇 建筑学
- 1 篇 安全科学与工程
27 篇 理学
- 21 篇 数学
- 5 篇 生物学
- 2 篇 物理学
- 2 篇 化学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
8 篇 管理学
- 7 篇 管理科学与工程(可...
- 4 篇 工商管理
- 2 篇 图书情报与档案管...
2 篇 法学
- 2 篇 社会学
2 篇 教育学
- 2 篇 教育学
1 篇 文学
- 1 篇 外国语言文学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...

主题

49 篇 logic programmin...
13 篇 fuzzy logic
12 篇 mathematical log...
11 篇 programming
11 篇 artificial intel...
10 篇 formal logic
8 篇 programming lang...
7 篇 software enginee...
7 篇 logics and meani...
6 篇 programming tech...
6 篇 probabilistic lo...
5 篇 computer science
5 篇 logic gates
5 篇 semantics
4 篇 programming prof...
4 篇 constraint logic...
4 篇 application soft...
4 篇 kripke logical r...
4 篇 mathematical mod...
4 篇 algorithm analys...

机构

3 篇 univ kentucky de...
2 篇 industrial softw...
2 篇 max planck inst ...
2 篇 vienna univ tech...
2 篇 univ cyprus dept...
2 篇 institute of log...
2 篇 ben gurion univ ...
2 篇 imdea software i...
2 篇 international in...
2 篇 aarhus univ dk-8...
2 篇 wakayama univ de...
2 篇 michigan state u...
2 篇 kings coll londo...
1 篇 mpi informat d-6...
1 篇 transmeta corpor...
1 篇 inria
1 篇 ist austria klos...
1 篇 kielce univ tech...
1 篇 vig impex craiov...
1 篇 department of ma...

作者

4 篇 eiter thomas
3 篇 truszczynski mir...
3 篇 dimopoulos y
2 篇 egly uwe
2 篇 sarna-starosta b...
2 篇 stepanova daria
2 篇 woltran stefan
2 篇 dillon laura k.
2 篇 birkedal lars
2 篇 chlipala adam
2 篇 andrei voronkov
2 篇 dreyer derek
2 篇 turon aaron
2 篇 brewka gerhard
2 篇 kyaw myat thu
2 篇 myo thet naung
2 篇 brafman ri
2 篇 stirewalt r. e. ...
2 篇 krishnaswami nee...
1 篇 miller r

语言

202 篇 英文
4 篇 其他
1 篇 中文

检索条件"任意字段=18th International Conference on Logic Programming, ICLP 2002"

共 207 条记录，以下是181-190 订阅

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

详细简洁

排序：

Gradual approach to a more trustworthy, yet scalable, proof-carrying code 18th

引用

18th international conference on Automated Deduction, CADE 2002

作者： Schneck, Robert R. Necula, George C. Group in Logic and the Methodology of Science University of California Berkeley United States Department of Electrical Engineering and Computer Sciences University of California Berkeley United States

ISBN: (纸本)3540439315

Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy includes proof rules which determine how various actions are to be proved safe. these proof rules have been considered part of the trusted code base (TCB) of the PCC system. We wish to remove the proof rules from the TCB by providing a formal proof of their soundness. this makes the PCC system more secure, by reducing the TCB;it also makes the system more flexible, by allowing code producers to provide their own safety-policy proof rules, if they can guarantee their soundness. Furthermore this security and flexibility are gained without any loss in the ability to handle large programs. In this paper we discuss how to produce the necessary formal soundness theorem given a safety policy. As an application of the framework, we have used the Coq system to prove the soundness of the proof rules for a type-based safety policy for native machine code compiled from Java. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Codes (symbols)

来源：评论

学校读者我要写书评

暂无评论

Making complex document structures accessible through templates

Making complex document structures accessible through templa...

引用

international conference on Professional Communication (IPCC)

作者： F.H. Gatzemeier O. Meyer RWTH Aachen Lehrstuhl für Informatik III Aachen Germany

Addresses two problems of technical authors in structured environments: (1) structure definitions of the SGML school are limiting: they require one primary hierarchy and do not cater for link types; and (2) real-life structure definitions are too large to be comprehended easily. As solutions, we propose graph types and usage templates. the edge types and inheritance of the proposed graph type model are useful modeling tools. We give examples for structures that can be expressed more precisely and with gain for the author using graph structures. there are also graphical tools available to define graph types and to specify operations on graphs. Templates can be used as a simple parameterization mechanism. A template illustrates the usual usage of a substructure, as opposed to the minimal one required by a structure definition or the maximal one allowed by it. We also present a prototype authoring application based on these ideas.

关键词： Prototypes SGML Educational institutions Markup languages Teamwork Writing User interfaces logic programming Software tools Computer architecture

来源：评论

学校读者我要写书评

暂无评论

Induction of relational Fril rules

Induction of relational Fril rules

引用

conference of the North American Fuzzy Information Processing Society - NAFIPS

作者： J.F. Baldwin C. Hill T.P. Martin Department of Engineering Mathematics University of Bristol Bristol UK

We propose an, approach to extend inductive logic programming (ILP) to cater for uncertainties in the form of probabilities and fuzzy sets. A corresponding decision tree induction algorithm that induces Fril (a support logic programming language) classification. Rules involving both forms of uncertainties is also described. this algorithm iteratively builds decision trees where each decision tree consists of one branch. this branch is directly translated into Fril rules that explain a part of the problem. the work presented focuses on propositional representations for both the input data values and the learned models. the approach is illustrated on the Pima Indian dataset. Finally an overview of the current work is given which deals with improving the algorithm with a new method for the calculation of support pairs and also with a new, user-independent stopping criterion for adding literals to the body of a rule.

关键词： Decision trees logic programming Uncertainty Iterative algorithms Fuzzy sets Classification tree analysis Partitioning algorithms Mathematics Fuzzy logic Entropy

来源：评论

学校读者我要写书评

暂无评论

Reducing quantization error and contextual bias problems in software development processes by applying fuzzy logic

Reducing quantization error and contextual bias problems in ...

引用

conference of the North American Fuzzy Information Processing Society - NAFIPS

作者： F. Marcelloni M. Aksit Dipartimento di Ingegneria Della Informazione University of Pisa Pisa Italy Department of Computer Science University of Twente Enschede Netherlands

Object-oriented methods define a considerable number of rules, which are generally expressed using two-valued logic. For example, an entity in a requirement specification is either accepted or rejected as a class. there are two major problems of how rules are defined and applied in current methods. Firstly, two-valued logic cannot effectively express the approximate and inexact nature of a typical software development process. Secondly, the influence of contextual factors on rules is generally not modeled explicitly. We term these problems as quantization error and contextual bias problems, respectively. To reduce these problems, we adopt fuzzy logic-based methodological rules. this approach is method independent and is useful for evaluating and enhancing current methods. In addition, the use of fuzzy logic increases the adaptability and reusability of design models.

关键词： Quantization programming Fuzzy logic Object oriented modeling Application software Maintenance engineering Computer science Context modeling Uncertainty Software maintenance

来源：评论

学校读者我要写书评

暂无评论

FULSOME: a fuzzy logic modeling tool for software metricians

FULSOME: a fuzzy logic modeling tool for software metricians

引用

conference of the North American Fuzzy Information Processing Society - NAFIPS

作者： S.G. MacDonell A.R. Gray J.M. Calvert Department of Information Science University of Otago Dunedin New Zealand

there has been a growing body of literature suggesting that some of the problems faced by software development project managers can be at least partially overcome by using fuzzy logic techniques. However, one issue that has been generally overlooked in this recommendation is the means by which these "software metricians" can collect data for, develop, and interpret fuzzy logic models in practice. We describe a freely available system that has been built with this in mind called FULSOME (FUzzy logic for SOftware MEtrics). While there are many tools available for developing fuzzy models, it is suggested that before there will be real adoption of such techniques by project managers there will need to be suitable tools that support their particular workflows and that use appropriate terminology. Another requirement will be the development of some standard procedures and definitions for such models. Issues involved with membership function elicitation and extraction are also discussed as a first step towards this second goal.

关键词： Fuzzy logic Software tools Predictive models Application software Software metrics programming Project management Monitoring Information science Software development management

来源：评论

学校读者我要写书评

暂无评论

Proceedings - SCCC 1998: 18th international conference of the Chilean Society of Computer Science

Proceedings - SCCC 1998: 18th International Conference of th...

引用

ISBN: (纸本)0818686162

the proceedings contain 25 papers. the topics discussed include: query evaluation in almost consistent databases using residues;formalizing the software evaluation process;software architectural specification for optimal object distribution;specifying active databases in the situation calculus;on a tree-like representation for symbolic-numeric data and its use in Galois lattice method;workflow modeling: exception and failure handling representation;dynamic programming as frame for efficient parsing;the use of agents techniques on intelligent tutoring systems;an improvement of the Guajardo-Paar method for multiplication on non-supersingular elliptic curves;rationality postulates for relevance relations;and a dynamic logic model for the formal foundation of object-oriented analysis and design.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Flexible exception handling in the OPERA process support system

Flexible exception handling in the OPERA process support sys...

引用

international conference on Distributed Computing Systems

作者： C. Hagen G. Alonso Information and Communication Systems Research Group Institute of Information Systems Swiss Federal Institute of Technology Zurich Switzerland

Exceptions are one of the most pervasive problems in process support systems. In installations expected to handle a large number of processes, having exceptions is bound to be a normal occurrence. Any programming tool intended for large, complex applications has to face this problem. However, current process support systems, despite their orientation towards complex, distributed, and heterogeneous applications, provide almost no support for exception handling. this paper shows how flexible mechanisms for failure handling are incorporated into the OPERA process support system using a combination of programming language concepts and transaction processing techniques. the resulting mechanisms allow the construction of fault-tolerant workflow processes in a transparent and flexible way while ensuring reusability of workflow components.

关键词： Computer languages Databases logic programming Humans Personnel Information systems Fault tolerant systems Environmental management logic design programming environments

来源：评论

学校读者我要写书评

暂无评论

Granularity control for distributed execution of logic programs

Granularity control for distributed execution of logic progr...

引用

international conference on Distributed Computing Systems

作者： G. Xirogiannis Department of Computing & Electrical Engineering Heriot-Watt University UK

Distributed execution of logic programs requires a match of granularity between a program and the distributed multiprocessor it runs on to exploit its potential for performance fully. this paper presents methods to control the granularity of tasks on distributed heterogeneous processors effectively. It considers the characteristics of such platforms and relates the amount of local computation with the significant communication overheads by introducing the notion of a collection of parallel tasks. the experimental results indicate that the proposed controls can model all kinds of predicates (recursive, mutually recursive etc.) satisfactorily and improve the performance of various forms of parallelism (AND, OR, combinations).

关键词： Distributed control Parallel processing Communication system control Performance analysis Costs logic programming Engines Proposals Information analysis Automatic control

来源：评论

学校读者我要写书评

暂无评论

Dynamic programming as frame for efficient parsing

Dynamic programming as frame for efficient parsing

引用

Computer Science Society (SCCC) international conference Chilean FLAGGED

作者： M.V. Ferro D.C. Souto M.A.A. Pardo Departamento de Computación Universidad de La Coruña La Coruna Spain Estrada Santiago Noia Centro Ramón Piñeiro para a Investigación en Humanidades Santiago de Compostela Spain Departamento de Computacion Universidad de La Coruña La Coruna Spain

the last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. this is due to the compactness of the representations, which are turning this paradigm into a common way of dealing with highly redundant computations occurring, for instance, in natural language processing, logic programming or abstract interpretation and related to phenomena such as non determinism or domain ordering. However, it is not usual to find practical studies about what the real interest of these techniques is, and which approaches are better adapted in each case. We justify the consideration of dynamic programming, both in definite clause and context free grammar parsing, highlighting the parallelism between the conclusions reached in both cases. We focus on the computational properties, suggesting a simple decision guide for the reader interested in applying this technology.

关键词： Dynamic programming logic programming Automata Filters Program processors Turning Tellurium Natural language processing Proposals Log periodic antennas

来源：评论

学校读者我要写书评

暂无评论

A dynamic logic model for the formal foundation of object-oriented analysis and design

A dynamic logic model for the formal foundation of object-or...

引用

Computer Science Society (SCCC) international conference Chilean FLAGGED

作者： C. Pons G. Baum M. Felder Lifia Universidad Nacional de La Plata Argentina Universidad de Buenos Aires Argentina

the authors present an object-oriented conceptual model representing the information acquired during object-oriented analysis and design. It fulfills the three requirements for conceptual models: formality, usability and flexibility. the proposed conceptual model integrates both of the levels in the architecture of modeling notations (i.e. model and metamodel levels) into a single conceptual framework based on dynamic logic. this way, the formal model allows the specification of interconnections between the two different levels. this integration is particularly useful for the description of evolution of system specification (e.g. evolution of business rules). For example, it is possible to specify how a modification made to a model impacts on the modeled system.

关键词： logic design Object oriented modeling Electrical capacitance tomography programming Information analysis Usability Design engineering Formal verification Computer errors Mathematical model

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共21页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：