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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是281-290 订阅

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

详细简洁

排序：

Functional vectors generation for RT-level Verilog descriptions based on path enumeration and constraint logic programming

Functional vectors generation for RT-level Verilog descripti...

引用

Euromicro Symposium on Digital System Design

作者： Tun Li Yang Guo GongJie Liu SiKun Li National University of Defense Technology China

this paper presents a novel method for automatic functional vectors generation from RT-level HDL descriptions based on path coverage and constraint solving. Compared with existing method, the advantage of this method includes: 1) it avoids generating redundant constraints, which will accelerate the test generation process, 2) it solves the problem of how to propagate the internal values to the primary inputs with decision models, 3) it can handle various HDL description styles, and various styles of designs. Experimental results conduct on several practical designs show that our method can efficiently improve the functional vectors generation process. the prototype system has been applied to verify RTL description of a real 32-bits microprocessor core and complex bugs remained hidden in the RTL descriptions are detected.

关键词： Hardware design languages logic programming Formal specifications Life estimation Prototypes Microprocessors Computer bugs Explosions Automatic testing Software testing

来源：评论

学校读者我要写书评

暂无评论

A constraints programming approach for fabric cell synthesis

A constraints programming approach for fabric cell synthesis

引用

Euromicro Symposium on Digital System Design

作者： C. Wolinski K. Kuchcinski IRISA IFSIC University of Rennes I France Department of Computer Science Lund University Sweden

this paper presents a novel method to generate optimized architecture of hardware processes implemented on "system on a programmable chip" (SoPC). the hardware processes are the applications tailored "cells" in the processor-coupled polymorphous fabric (Ch. Wolinski et al., 2003, Ch. Wolinski et al., 2002) implemented on the reconfigurable SoPC platform. In order to obtain optimized high performance pipelined architecture each process implementing repetitive conditional behavior with possible inter-iteration dependencies is scheduled under hardware resource constraints using "fabric cell synthesis tool" (FAST). the scheduling problem is defined and solved using constraints programming approach. this approach makes it possible to obtain optimal solutions in terms of execution time and number of registers for a number of real cases. Our method is illustrated using a simple example and a part of the "CORDIC" application (S.F. Hsiao et al., 1991). the final design is implemented on a reconfigurable platform that shows feasibility of our approach. Optimal schedules are achieved for both discussed applications.

关键词： Fabrics Hardware Communication system control Optimal scheduling Processor scheduling logic programming Computer science Optimization methods Computer architecture Application software

来源：评论

学校读者我要写书评

暂无评论

What concrete things does fuzzy propositional logic describe?

What concrete things does fuzzy propositional logic describe...

引用

8th Pacific Rim International conference on Artificial Intelligence (PRICAI 2004)

作者： Snow, P Concord NH 03303-6134 P.O. Box 6134 United States

ISBN: (纸本)3540228179

Outside of the fuzzy community, questions persist about the most common fuzzy logic as a guide to propositional truth and so, despite many practical successes, about its fitness for describing real phenomena. the paper assesses the realistic expressiveness of the logic by showing that any ordinary and non-fuzzy linear programming model can be mechanically translated into a fuzzy propositional model, and vice versa. Since linear programs are realistic, versatile, and robust, the fuzzy propositional logic cannot be otherwise.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Combining extension matrix and integer programming for optimal concept learning

Combining extension matrix and integer programming for optim...

引用

8th Pacific Rim International conference on Artificial Intelligence (PRICAI 2004)

作者： Hang, XS Dai, HH Deakin Univ Sch Informat Technol Geelong Vic 3217 Australia

ISBN: (纸本)3540228179

this paper proposes two integer programming models and their GA-based solutions for optimal concept learning. the models are built to obtain the optimal concept description in the form of propositional logic formulas from examples based on completeness, consistency and simplicity. the simplicity of the propositional rules is selected as the objective function of the integer programming models, and the completeness and consistency of the concept are used as the constraints. Considering the real-world problems that certain level of noise is contained in data set, the constraints in model 11 are slacked by adding slack-variables. To solve the integer programming models, genetic algorithm is employed to search the global solution space. We call our approach IP-AE. Its effectiveness is verified by comparing the experimental results with other well-known concept learning algorithms: AQ15 and C4.5.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Analyzing dynamics of a supply chain using logic-based genetic programming

Analyzing dynamics of a supply chain using logic-based genet...

引用

8th International conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2004

作者： Taniguchi, Ken Terano, Takao Graduate School of Systems Management University of Tsukuba Tokyo Japan

ISBN: (纸本)9783540301325

this paper proposes agent-based formulation of a Supply Chain Management (SCM) system for manufacturing firms. We model each firm as an intelligent agent, which communicates each other through the blackboard architecture in distributed artificial intelligence. To overcome the issues of conventional SCM systems, we employ the concept of information entropy, which represents the complexity of the purchase, sales, and inventory activities of each firm. Based on the idea, we implement an agent-based simulator to learn ‘good’ decisions viagenetic programming in a logic programming environment. From intensive experiments, our simulator have shown good performance against the dynamic environmental changes. © Springer-Verlag Berlin Heidelberg 2004.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

8th Pacific Rim International conference on Artificial Intelligence Proceedings, 2004

8th Pacific Rim International Conference on Artificial Intel...

引用

8th Pacific Rim International conference on Artificial Intelligence, PRICAI 2004

ISBN: (纸本)3540228179

the proceedings contain 142 papers. the special focus in this conference is on Invited Talks;logic and Reasoning;Knowledge Representation and Search;Ontology. the topics include: Biomedical Artificial Intelligence;Electronics Institutions: Methodology of Multi-agent Systems Development;the Happy Searcher;On the Intended Interpretations of Actions;Temporal Linear logic for Symbolic Agent Negotiation;Dealing with Inconsistent Secure Messages;Answer Set Computation Based on a Minimal Model Generation theorem Prover;What Is a Qualitative Calculus? A General Framework;Qualitative Direction Calculi with Arbitrary Granularity;Power of Brute-Force Search in Strongly-Typed Inductive Functional programming Automation;Ontology Services-Based Information Integration in Mining Telecom Business Intelligence;Indexing Approach for Delivery Demands with Time Constraints;An Hierarchical Terrain Representation for Approximately Shortest Paths;Agents Embodying a Category-Based Learning Process for the ITS Tutor to Self-improve Its Instructional Plans;Circuit Consistencies;Solving Over-Constrained Temporal Reasoning Problems Using Local Search;Methods of Automatic Algorithm Generation;A Novel Heuristic to Solve IA Network by Convex Approximation and Weights;Applying An Improved Heuristic Based Optimiser to Solve a Set of Challenging University Timetabling Problems;Extending Unit Propagation Look-Ahead of DPLL Procedure;Extended Nearest Feature Line Classifier;An Iterative Empirical Classification Scheme;Accelerating Linear Causal Model Discovery Using Hoeffding Bounds;Constrained Variables from Positive Data;Fast Incremental Learning of Linear Model Trees;A Modified Incremental Principal Component Analysis for On-Line Learning of Feature Space and Classifier and Probability Based Genetic programming for Multiclass Object Classification.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Implementing EGAP-based many-valued argument model for uncertain knowledge

引用

8th International conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2004

作者： Fukumoto, Taro Takahashi, Takehisa Sawamura, Hajime Department of Information Engineering and Graduate School of Science and Technology Niigata University 8050 Ninocho IkarashiNiigata950-2181 Japan

ISBN: (纸本)9783540232056

We studied the many-valued argumentation frameworks. they allow agents to make arguments with self or other agents under uncertain knowledge which is to be represented in the expressive EGAP (Extended Generalized Annotated logic programming). In this paper, we describe the implementation of the EGAP-based multi-valued argument models. the versatility of our many-valued argument models is shown through convincing argument examples. © Springer-Verlag Berlin Heidelberg 2004.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

DCPP: Knowledge representation for planning processes

DCPP: Knowledge representation for planning processes

引用

8th International conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2004

作者： Tanaka, Takushi Tanaka, Koki Department of Computer Science and Engineering Fukuoka Institute of Technology 3-30-1 Wajiro-Higashi Higashi-kuFukuoka811-0295 Japan Community Technology Research Co. Ltd 127-2-602 Imazyuku-machi Nishi-kuFukuoka819-0164 Japan

ISBN: (纸本)9783540232063

We have developed a language called DCPP (Definite Clauses for Planning Processes) to represent knowledge concerning situations changing due to a process. the knowledge coded by DCPP is translated into definite clauses and forms a logic program that simulates the situation changes. Since data flows are bilateral in logic programming, the program works not only as a symbolic simulator for changing situations, but also as a planner for generating a process to achieve the required situation. As an example of knowledge encoding, we will show the start-up process for an electric power plant. © Springer-Verlag Berlin Heidelberg 2004.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Call-by-value is dual to call-by-name 03

Call-by-value is dual to call-by-name

引用

8th International conference on Functional programming (ICFP 03)

作者： Wadler, P Avaya Labs

ISBN: (纸本)9781581137569

the rules of classical logic may be formulated in pairs corresponding to De Morgan duals: rules about & are dual to rules about V. A line of work, including that of Filinski (1989), Griffin (1990), Parigot (1992), Danos, Joinet, and Schellinx (1995), Selinger (1998,2001), and Curien and Herbelin (2000), has led to the startling conclusion that call-by-value is the de Morgan dual of call-by-name. this paper presents a dual calculus that corresponds to the classical sequent calculus of Gentzen (1935) in the same way that the lambda calculus of Church (1932,1940) corresponds to the intuitionistic natural deduction of Gentzen (1935). the paper includes crisp formulations of call-by-value and call-by-name that are obviously dual;no similar formulations appear in the literature. the paper gives a CPS translation and its inverse, and shows that the translation is both sound and complete, strengthening a result in Curien and Herbelin (2000). Note. this paper uses color to clarify the relation of types and terms, and of source and target calculi. If the URL below is not in blue, please download the color version, which can be found in the ACM Digital Library archive for ICFP 2003, at http://***/proceedings/icfp/archive, or by googling 'wadler dual'.

关键词： Curry-Howard correspondence sequent calculus natural deduction De Morgan dual logic lambda calculus lambda mu calculus

来源：评论

学校读者我要写书评

暂无评论

Software is discrete mathematics 03

Software is discrete mathematics

引用

8th International conference on Functional programming (ICFP 03)

作者： Page, RL Univ Oklahoma Sch Comp Sci Norman OK 73019 USA

ISBN: (纸本)9781581137569

A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differences in the programming effectiveness of two populations of students: (1) those who studied discrete mathematics through examples focused on reasoning about software and (2) those who studied the same mathematical topics illustrated with more traditional examples. Functional programming played a central role in the study because it provides a straightforward framework for the presentation of concepts such as predicate logic and proof by induction. Such topics can be covered in depth, staying almost entirely within the context of reasoning about software. the intricate complexities in logic that mutable variables carry with them need not arise, early on, to confuse novices struggling to understand new ideas. In addition, because functional languages provide useful and compact ways to express mathematical concepts, and because the choice of notation in mathematics courses is often at the discretion of the instructor (in contrast to the notational restrictions often fiercely guarded by the faculty in programming courses), discrete mathematics courses, as they are found in most computer science programs, provide an easy opportunity to enhance the education of students by exposing them to functional programming concepts.

关键词： functional programming discrete mathematics predicate logic correctness proofs formal methods software engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：