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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

488 篇 会议
59 篇 期刊文献
21 册 图书

馆藏范围

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

日期分布

学科分类号

391 篇 工学
- 344 篇 计算机科学与技术...
- 209 篇 软件工程
- 50 篇 电气工程
- 28 篇 信息与通信工程
- 22 篇 控制科学与工程
- 9 篇 电子科学与技术（可...
- 7 篇 机械工程
- 3 篇 材料科学与工程（可...
- 3 篇 生物工程
- 2 篇 力学（可授工学、理...
- 2 篇 动力工程及工程热...
- 2 篇 化学工程与技术
- 2 篇 核科学与技术
- 1 篇 仪器科学与技术
- 1 篇 冶金工程
102 篇 理学
- 87 篇 数学
- 10 篇 系统科学
- 5 篇 物理学
- 5 篇 生物学
- 2 篇 统计学（可授理学、...
- 1 篇 化学
32 篇 管理学
- 20 篇 管理科学与工程(可...
- 12 篇 图书情报与档案管...
- 7 篇 工商管理
7 篇 教育学
- 7 篇 教育学
6 篇 法学
- 6 篇 社会学
6 篇 文学
- 5 篇 外国语言文学
- 1 篇 新闻传播学
3 篇 医学
- 2 篇 临床医学
1 篇 经济学
- 1 篇 应用经济学

主题

144 篇 logic programmin...
18 篇 artificial intel...
16 篇 logic gates
16 篇 linear programmi...
16 篇 computer program...
15 篇 probabilistic lo...
14 篇 programming
14 篇 mathematical log...
14 篇 programming lang...
12 篇 semantics
11 篇 formal logic
11 篇 computer program...
11 篇 logics and meani...
10 篇 fuzzy logic
10 篇 software enginee...
9 篇 computer circuit...
9 篇 logic
9 篇 programming tech...
8 篇 answer set progr...
8 篇 inductive logic ...

机构

4 篇 univ minho ctr a...
4 篇 univ texas dept ...
3 篇 universita di pi...
3 篇 the weizmann ins...
3 篇 new mexico state...
3 篇 univ malaga dept...
3 篇 univ calabria de...
2 篇 aalto univ dept ...
2 篇 ontario power ge...
2 篇 univ pisa dipart...
2 篇 department of th...
2 篇 texas tech univ ...
2 篇 univ freiburg in...
2 篇 school of comput...
2 篇 katholieke univ ...
2 篇 inst natl teleco...
2 篇 vienna univ tech...
2 篇 university of po...
2 篇 arizona state un...
2 篇 inria rennes

作者

5 篇 vicente henrique
4 篇 eiter t
4 篇 neves jose
4 篇 saint-dizier pat...
4 篇 faber w
3 篇 stéphan i
3 篇 deville yves
3 篇 pereira lm
3 篇 leone n
3 篇 wang bin
3 篇 levi giorgio
3 篇 neves joao
3 篇 zhang zhizheng
3 篇 son tc
2 篇 polleres a
2 篇 gueddes abdelweh...
2 篇 gongjie liu
2 篇 pontelli e
2 篇 dung phan minh
2 篇 lee kin hong

语言

520 篇 英文
43 篇 其他
4 篇 中文
1 篇 法文

检索条件"任意字段=8th Conference on Logic Programming, 1989"

共 568 条记录，以下是271-280 订阅

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

详细简洁

排序：

Application of smodels in quartet based phylogeny construction

Application of smodels in quartet based phylogeny constructi...

引用

8th International conference on logic programming and Nonmonotonic Reasoning

作者： Wu, G You, JH Lin, GH Univ Alberta Dept Comp Sci Edmonton AB T6G 2E8 Canada

ISBN: (纸本)3540285385

Evolution is an important sub-area of study in biological science, where given a set of taxa, the goal is to reconstruct their evolutionary history, or phylogeny. One very recent approach is to predict a local phylogeny for every subset of 4 taxa, called a quartet topology, and then to assemble a phylogeny for the whole set of taxa satisfying these predicted quartet topologies. In general, the predicted quartet topologies might not always agree with each other, and thus the objective function becomes to satisfy a maximum number of them. this is the well known Maximum Quartet Consistency (MQC) problem. In the past, the MQC problem has been solved by dynamic programming and the so-called fixed-parameter method. Recently, we have proposed to solve the MQC in answer set programming. In this note, we summarize the theoretical results of this approach and report new experimental results for the purpose of comparison, which show that our approach in answer set programming is favored over the existing approaches based on dynamic programming and fixed-parameter method. In particular, some of the hard instances (where the error ratio is high) that were not reported to be solved in other approaches can now be solved in our approach.

关键词： Set theory

来源：评论

学校读者我要写书评

暂无评论

Possibilistic inductive logic programming

Possibilistic inductive logic programming

引用

8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

作者： Serrurier, M Prade, H Univ Toulouse 3 IRIT F-31062 Toulouse France

ISBN: (纸本)3540273263

Learning rules with exceptions may be of interest, especially if the exceptions are not important in some sense. Standard Inductive logic programming (ILP) algorithms and classical first order logic are not well-suited for managing rules with exceptions. Indeed, a hypothesis that is induced accumulates all the exceptions of the rules contained in it. Moreover, with multiple-class problems, classifying an example in two different classes (even if one is the right one) is not correct, so a rule that contains some exceptions may prevent another rule which has no exception from being useful. this paper proposes a new possibilistic logic framework for weighted ILP. It induces rules which are progressively more and more accurate, and allows us to manage exceptions by controlling their accumulation. In this setting, we first propose an algorithm for learning rules when the background knowledge and the examples are stratified into layers having different levels of priority or certainty. this allows the induction of general but uncertain rules together with more specific and less uncertain rules. A second algorithm is presented, which does not require an initial weighted database, but still learn a default set of rules in the possibilistic setting.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

the well supported semantics for multidimensional dynamic logic programs

The well supported semantics for multidimensional dynamic lo...

引用

8th International conference on logic programming and Nonmonotonic Reasoning

作者： Banti, F Alferes, JJ Brogi, A Hitzler, P Univ Nova Lisboa CENTRIA P-1200 Lisbon Portugal Univ Pisa Dipartimento Informat I-56100 Pisa Italy Univ Karlsruhe AIFB Karlsruhe Germany

ISBN: (纸本)3540285385

Multidimensional dynamic logic programs are a paradigm which allows to express (partially) hierarchically ordered evolving knowledge bases through (partially) ordered multi sets of logic programs and allowing to solve contradictions among rules in different programs by allowing rules in more important programs to reject rules in less important ones. this class of programs extends the class of dynamic logic program that provides meaning and semantics to sequences of logic programs. Recently a semantics named refined stable model semantics has fixed some counterintuitive behaviour of previously existing semantics for dynamic logic programs. However, it is not possible to directly extend the definitions and concepts of the refined semantics to the multidimensional case and hence more sophisticated principles and techniques are in order. In this paper we face the problem of defining a proper semantics for multidimensional dynamic logic programs by extending the idea of well supported model to this class of programs and by showing that this concept alone is enough for univocally characterizing a proper semantics. We then show how the newly defined semantics coincides with the refined one when applied to sequences of programs.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Proceedings: DSD'2005 8th Euromicro conference on Digital System Design Architectures, Methods and Tools

Proceedings: DSD'2005 8th Euromicro Conference on Digital Sy...

引用

DSD'2005: 8th Euromicro conference on Digital System Design

ISBN: (纸本)0769524338

the proceedings contain 76 papers. the topics discussed include: multi-media applications and imprecise computation;wireless sensor systems - Constraints and opportunities;BIST technique for GALS systems;functional vectors generation for RT-Level verilog descriptions based on path enumeration and constraint logic programming;power-composition profile driven Co-synthesis with power management selection for dynamic and leakage energy reduction;a low-power FIR filter using combined residue and radix-2 signed-digit representation;approximating trigonometric functions with the laws of sines and cosines using the logarithmic number system;characterization of wavelet-based image coding systems for algorithmic fault detection;improved fault emulation for synchronous sequential circuits;and defect-oriented test- and layout-generation for standard-cell ASIC designs.

关键词： Digital devices

来源：评论

学校读者我要写书评

暂无评论

Revisiting the semantics of interval probabilistic logic programs

Revisiting the semantics of interval probabilistic logic pro...

引用

8th International conference on logic programming and Nonmonotonic Reasoning, LPNMR 2005

作者： Dekhtyar, Alex Dekhtyar, Michael I. Department of Computer Science University of Kentucky Department of Computer Science Tver State University

ISBN: (纸本)3540285385

Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). the attractiveness of the former is in tying the logic programming research to the body of work on Bayes networks. the second approach ties computationally reasoning about probabilities with linear programming, and allows for natural expression of imprecision in probabilities via the use of intervals. In this paper we construct precise semantics for one PSAT-based formalism for reasoning with inteval probabilities, probabilistic logic programs (p-programs), orignally considered by Ng and Subrahmanian. We show that the probability ranges of atoms and formulas in p-programs cannot be expressed as single intervals. We construct the prescise description of the set of models of p-programs and study the computational complexity if this problem, as well as the problem of consistency of a p-program. We also study the conditions under which our semantics coincides with the single-interval semantics originally proposed by Ng and Subrahmanian for p-programs. Our work sheds light on the complexity of construction of reasoning formalisms for imprecise probabilities and suggests that interval probabilities alone are inadequate to support such reasoning. © Springer-Verlag Berlin Heidelberg 2005.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Detecting and revising misclassiflcations using ILP

引用

8th International conference on Discovery Science, DS 2005

作者： Yokoyama, Masaki Matsui, Tohgoroh Ohwada, Hayato Department of Industrial Administration Faculty of Science and Technology Tokyo University of Science 2641 Yamazaki Noda-shi Chiba 278-8510 Japan

ISBN: (纸本)3540292306

this paper proposes a method for detecting misclassifications of a classification rule and then revising them. Given a rule and a set of examples, the method divides misclassifications by the rule into miscovered examples and uncovered examples, and then, separately, learns to detect them using Inductive logic programming (ILP). the method then combines the acquired rules with the initial rule and revises the labels of misclassified examples. the paper shows the effectiveness of the proposed method by theoretical analysis. In addition, it presents experimental results, using the Brill tagger for Part-Of-Speech (POS) tagging. © Springer-Verlag Berlin Heidelberg 2005.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Formalisation and verification of JAVA CARD security properties in dynamic logic

Formalisation and verification of JAVA CARD security propert...

引用

8th International conference on Fundamental Approaches to Software Engineering

作者： Mostowski, W Chalmers Univ Technol Dept Comp Sci SE-41296 Gothenburg Sweden

ISBN: (纸本)354025420X

We present how common J(AVA) C-ARD security properties can be formalised in Dynamic logic and verified, mostly automatically, with the KeY system. the properties we consider, are a large subset of properties that are of importance to the smart card industry. We discuss the properties one by one, illustrate them with examples of real-life, industrial size, J(AVA) C-ARD applications, and show how the properties are verified with the KeY Prover - an interactive theorem prover for J(AVA) C-ARD source code based on a version of Dynamic logic that models the full J(AVA) C-ARD standard. We report on the experience related to formal verification Of J(AVA) C-ARD programs we gained during the course of this work. thereafter, we present the current state of the art of formal verification techniques offered by the KeY system and give an assessment of interactive theorem proving as an alternative to static analysis.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Argument-based expansion operators in possibilistic defeasible logic programming: Characterization and logical properties

Argument-based expansion operators in possibilistic defeasib...

引用

8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005

作者： Chesñevar, Carlos I. Simari, Guillermo R. Godo, Lluis Alsinet, Teresa Departament of Computer Science Universitat de Lleida C/Jaume II 69 - 25001 Lleida Spain Department of Computer Science and Engineering Universidad Nacional Del Sur Alem 1253 8000 Bahía Blanca Argentina Campus UAB 08193 Bellaterra Barcelona Spain

ISBN: (纸本)3540273263

Possibilistic Defeasible logic programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty and fuzzy knowledge at object-language level. Defeasible argumentation in general and P-DeLP in particular provide a way of modelling non-monotonic inference. From a logical viewpoint, capturing defeasible inference relationships for modelling argument and warrant is particularly important, as well as the study of their logical properties. this paper analyzes two non-monotonic operators for P-DeLP which model the expansion of a given program ℘ by adding new weighed facts associated with argument conclusions and warranted literals, resp. Different logical properties for the proposed expansion operators are studied and contrasted with a traditional SLD-based Horn logic, We will show that this analysis provides useful comparison criteria that can be extended and applied to other argumentation frameworks. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Mathematical operators

来源：评论

学校读者我要写书评

暂无评论

Support vector inductive logic programming 1

引用

8th International conference on Discovery Science, DS 2005

作者： Muggleton, Stephen Lodhi, Huma Amini, Ata Sternberg, Michael J. E. Department of Computing Imperial College 180 Queen's Gate London SW7 2AZ United Kingdom Department of Biological Sciences Imperial College 180 Queen's Gate London SW7 2AZ United Kingdom

ISBN: (数字)9783540316985

ISBN: (纸本)3540292306

In this paper we explore a topic which is at the intersection of two areas of Machine Learning: namely Support Vector Machines (SVMs) and Inductive logic programming (ILP). We propose a general method for constructing kernels for Support Vector Inductive logic programming (SVILP). the kernel not only captures the semantic and syntactic relational information contained in the data but also provides the flexibility of using arbitrary forms of structured and non-structured data coded in a relational way. While specialised kernels have been developed for strings, trees and graphs our approach uses declarative background knowledge to provide the learning bias. the use of explicitly encoded background knowledge distinguishes SVILP from existing relational kernels which in ILP-terms work purely at the atomic generalisation level. the SVILP approach is a form of generalisation relative to background knowledge, though the final combining function for the ILP-leamed clauses is an SVM rather than a logical conjunction. We evaluate SVILP empirically against related approaches, including an industry-standard toxin predictor called TOPKAT. Evaluation is conducted on a new broad-ranging toxicity dataset (DSSTox). the experimental results demonstrate that our approach significantly outperforms all other approaches in the study. © Springer-Verlag Berlin Heidelberg 2005.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

IP Core design of PLC microprocessor with Boolean module

IP Core design of PLC microprocessor with Boolean module

引用

8th IEEE CPMT conference on High Density Microsystem Design and Packaging and Component Failure Analysis (HDP 06)

作者： Xu Mei-hua Ran Feng Chen Zhang-jin Kang Shu-feng Li Run-guang Shanghai Univ Sch Mech Engn & Automat Shanghai 200072 Peoples R China

ISBN: (纸本)0780392922

this paper presents the IP Core design of PLC (Programmable logic Controller) microprocessor that includes a special boolean process unit after analysing PLC programming language, instruction execution characteristics and current PLC disadvantage. the novel microprocessor based on RISC architecture for PLC accords with PLCs international standard and its systematic design requirement. It is successfully synthesized and simulated with EDA tools and implemented in FPGA of Altera's EP20K200EFC484. As a microprocessor IP Core for PLC, its particular design of memory bit access interface unit and Boolean processor unit can greatly improve the real time performance and stability for PLC, its design scheme and experimental result will contribute to further research and development of relevant products.

关键词： Programmable control Microprocessors logic programming Computer languages Industrial control Electrical equipment industry Research and development Reduced instruction set computing Electronic design automation and methodology Field programmable gate arrays

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共57页 << < 24 25 26 27 28 29 30 31 32 33 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：