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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

184 篇 会议
19 册 图书
16 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

142 篇 工学
- 130 篇 计算机科学与技术...
- 79 篇 软件工程
- 16 篇 控制科学与工程
- 8 篇 电气工程
- 7 篇 信息与通信工程
- 2 篇 生物工程
- 1 篇 机械工程
- 1 篇 仪器科学与技术
- 1 篇 交通运输工程
- 1 篇 生物医学工程（可授...
- 1 篇 安全科学与工程
60 篇 理学
- 54 篇 数学
- 4 篇 生物学
- 3 篇 统计学（可授理学、...
- 2 篇 物理学
- 1 篇 系统科学
10 篇 管理学
- 7 篇 图书情报与档案管...
- 3 篇 管理科学与工程(可...
- 3 篇 工商管理
2 篇 法学
- 1 篇 法学
- 1 篇 社会学
2 篇 教育学
- 2 篇 教育学
1 篇 文学
- 1 篇 外国语言文学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...

主题

64 篇 logic programmin...
22 篇 artificial intel...
15 篇 mathematical log...
12 篇 fuzzy logic
10 篇 software enginee...
9 篇 uncertainty
9 篇 programming lang...
9 篇 logics and meani...
8 篇 computer science
8 篇 fuzzy sets
7 篇 logic
6 篇 humans
6 篇 probabilistic lo...
6 篇 answer set progr...
6 篇 inductive logic ...
6 篇 knowledge repres...
5 篇 computer circuit...
5 篇 application soft...
5 篇 laboratories
4 篇 object oriented ...

机构

2 篇 univ guayaquil g...
2 篇 royal holloway u...
2 篇 imperial college...
2 篇 heriot watt univ...
2 篇 csiro data61 bri...
2 篇 reasoning res in...
2 篇 quantek bologna
2 篇 univ helsinki de...
2 篇 univ freiburg in...
2 篇 univ texas dalla...
2 篇 univ cambridge c...
2 篇 vienna univ tech...
2 篇 univ athens athe...
2 篇 suny stony brook...
2 篇 univ politecn va...
2 篇 katholieke univ ...
2 篇 ferrara univ dep...
2 篇 new mexico state...
2 篇 2-1-2 hitotsubas...
2 篇 univ athens dept...

作者

4 篇 komendantskaya e...
4 篇 satoh ken
4 篇 rondogiannis pan...
4 篇 symeonidou ioann...
3 篇 liu yanhong a.
3 篇 lifschitz vladim...
3 篇 toni francesca
3 篇 stoller scott d.
3 篇 gupta gopal
3 篇 tong yi
3 篇 rocha ricardo
2 篇 governatori guid...
2 篇 toivonen h.
2 篇 gavanelli marco
2 篇 joão leite
2 篇 l. godo
2 篇 charalambidis an...
2 篇 maher michael j.
2 篇 revoredo k.
2 篇 laurent henocque

语言

209 篇 英文
10 篇 其他

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

共 219 条记录，以下是101-110 订阅

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

详细简洁

排序：

MMRF for Proteome Annotation Applied to Human Protein Disease Prediction

引用

20th international conference on Inductive logic programming (ILP)

作者： Garcia-Jimenez, Beatriz Ledezma, Agapito Sanchis, Araceli Univ Carlos III Madrid Madrid 28911 Spain

ISBN: (纸本)9783642212949;9783642212956

Biological processes where every gene and protein participates is an essential knowledge for designing disease treatments. Nowadays, these annotations are still unknown for many genes and proteins. Since making annotations from in-vivo experiments is costly, computational predictors are needed for different kinds of annotation such as metabolic pathway, interaction network, protein family, tissue, disease and so on. Biological data has an intrinsic relational structure, including genes and proteins, which can be grouped by many criteria. this hinders the possibility of finding good hypotheses when attribute-value representation is used. Hence, we propose the generic Modular Multi-Relational Framework (MMRF) to predict different kinds of gene and protein annotation using Relational Data Mining (RDM). the specific MMRF application to annotate human protein with diseases verifies that group knowledge (mainly protein-protein interaction pairs) improves the prediction, particularly doubling the area under the precision-recall curve.

关键词： Relational DataMining Human Disease Annotation Multi-Class Relational Decision Tree First-Order logic Structured Data

来源：评论

学校读者我要写书评

暂无评论

Yet another application of Fuzzy logic

Yet another application of Fuzzy logic

引用

20th international conference on Electronics, Communications and Computers

作者： Osorio, Mauricio Zepeda, Claudia Luis Carballido, Jose Lopez, David Univ Americas Puebla CENTIA Cholula Mexico Benemerita Univ Autonoma Puebla Fac Ciencias Computac Puebla Mexico

ISBN: (纸本)9781424453535

Fuzzy logic has been mainly used for fuzzy control and other applications. Recently, it also has been studied as a symbolic logic with syntax and semantics. We know that fuzzy logic is a branch of many-valued logic based on the paradigm of inference under vagueness. In this paper, we consider a particular many valued logic to show a non-standard application of fuzzy logic. We propose to use it for knowledge representation based on logic programming.

关键词： Knowledge representation stable semantics p-stable semantics Lukasiewicz logic

来源：评论

学校读者我要写书评

暂无评论

Expressing p-stable semantics based on stable semantics

Expressing p-stable semantics based on stable semantics

引用

20th international conference on Electronics, Communications and Computers

作者： Osorio, Mauricio Luis Carballido, Jose Zepeda, Claudia Uni Amer Puebla Mexico Benemerita Univ Autonoma Puebla Puebla Mexico

We study one of the semantics that is useful to formalize NMR, called the p-stable semantics. We explore the relation between the p-stable and the stable semantics. We give a condition under which the two semantics ag... 详细信息

ISBN: (纸本)9781424453535

关键词： logic programming semantics stable semantics p-stable semantics

来源：评论

学校读者我要写书评

暂无评论

Neuro-symbolic Representation of logic Programs Defining Infinite Sets

Neuro-symbolic Representation of Logic Programs Defining Inf...

引用

20th international conference on Artificial Neural Networks

作者： Komendantskaya, Ekaterina Broda, Krysia Garcez, Artur d'Avila Univ Dundee Sch Comp Dundee DD1 4HN Scotland Imperial Coll Dept Computat London England City Univ London Dept Comput London England

It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to implement neural networks that can process... 详细信息

ISBN: (纸本)9783642158186

关键词： Neurosymbolic integration Structured learning Mathematical theory of neurocomputing logic programming

来源：评论

学校读者我要写书评

暂无评论

Yet another application of fuzzy logic

Yet another application of fuzzy logic

引用

international conference on Electronics, Communications and Computers (CONIELECOMP)

作者： Mauricio Osorio Claudia Zepeda José Luis Carballido David López CENTIA Universidad de las Américas-Puebla Mexico Benemérita Universidad Autónoma de Puebla Facultad de Ciencias de la Computación Mexico

ISBN: (纸本)9781424453528

关键词： Fuzzy logic logic programming Multivalued logic Knowledge representation Uncertainty Fuzzy control Natural languages Fuzzy sets Seminars Application software

来源：评论

学校读者我要写书评

暂无评论

Expressing p-stable semantics based on stable semantics

Expressing p-stable semantics based on stable semantics

引用

international conference on Electronics, Communications and Computers (CONIELECOMP)

作者： Mauricio Osorio José Luis Carballido Claudia Zepeda Universidad de las Américas Puebla Universidad de las Américas Puebla Mexico Benemérita Universidad Autónoma de Puebla

ISBN: (纸本)9781424453528

关键词： logic programming Nuclear magnetic resonance Knowledge representation Intelligent agent Application software Artificial intelligence Humans Software tools Software prototyping Java

来源：评论

学校读者我要写书评

暂无评论

Bidimensional control system through successive monitoring for obstacles identification

Bidimensional control system through successive monitoring f...

引用

international conference on Electronics, Communications and Computers (CONIELECOMP)

作者： Flor Escuadra Alonso Hurtado Marie Imán Luis Lino Mario Chauca University of Peru Peru Ricardo Palma University District Surco Lima PERÚ Association for Overseas Technical Scholarship

the next project is a two-dimensional positioning system of a vehicle. It is based on the usage of infrared sensors to detect and map the obstacles around it and thus to store in system memory a map of the surrounding area. For this purpose, working with the variables angle and distance is needed and to acquire the required information from these , a number of infrared sensors which are above the vehicle are used, as well as the ability to rotate them to face different directions. All variables must be processed in the control system which will be managed by a microcontroller, because of its great capacity to manage these information besides having the control system memory.

关键词： Control systems Monitoring Infrared sensors Microcontrollers Operational amplifiers Accidents Vehicle driving Automotive engineering logic programming Infrared detectors

来源：评论

学校读者我要写书评

暂无评论

A Probabilistic Language Model for Hand Drawings

A Probabilistic Language Model for Hand Drawings

引用

international conference on Pattern Recognition

作者： Abdullah Akce Timothy Bretl Department of Computer Science University of Illinois Urbana-Champaign USA Department of Aerospace Engineering University of Illinois Urbana-Champaign USA

Probabilistic language models are critical to applications in natural language processing that include speech recognition, optical character recognition, and interfaces for text entry. In this paper, we present a systematic way to learn a similar type of probabilistic language model for hand drawings from a database of existing artwork by representing each stroke as a sequence of symbols. First, we propose a language in which the symbols are circular arcs with length fixed by a scale parameter and with curvature chosen from a fixed low-cardinality set. then, we apply an algorithm based on dynamic programming to represent each stroke of the drawing as a sequence of symbols from our alphabet. Finally, we learn the probabilistic language model by constructing a Markov model. We compute the entropy of our language in a test set as measured by the expected number of bits required for each symbol. Our language model might be applied in future work to create a drawing interface for noisy and low-bandwidth input devices, for example an electroencephalograph (EEG) that admits one binary command per second. the results indicate that by leveraging our language model, the performance of such an interface would be enhanced by about 20 percent.

关键词： Computational modeling Brain modeling Markov processes Probabilistic logic Entropy Approximation methods Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

A Term-Based Global Trie for Tabled logic Programs 1

引用

25th international conference on logic programming (iclp)

作者： Costa, Jorge Raimundo, Joao Rocha, Ricardo Univ Porto DCC FC & CRACS Oporto Portugal

ISBN: (数字)9783642028465

ISBN: (纸本)9783642028458

A critical component in the implementation of an efficient tabling system is the design of the data structures and algorithms to access and manipulate tabled data. Arguably, the most successful data structure for tabling is tries. However, when used in applications that pose many queries and/or have a large number of answers, tabling call build arbitrarily many and/or very large tables, quickly filling Lip memory. In this paper, we propose a new design for the table space organization where all terms in tabled subgoal calls and tabled answers are represented only once in a common global trie instead of being spread over several different trie data structures. Our initial experiments using the YapTab tabling system show significant reductions oil memory usage without compromising running time.

关键词： Tabling logic programming Table Space Implementation

来源：评论

学校读者我要写书评

暂无评论

Strategies in PρLog

Strategies in PρLog

引用

9th international Workshop on Reduction Strategies in Rewriting and programming, WRS 2009, associated to 20th international conference on Rewriting Techniques and Applications, RTA 2009, and was a part of the Federated conference on RDP 2009

作者： Dundua, Besik Kutsia, Temur Marin, Mircea RISC JKU Linz Austria University of Tsukuba Japan

PρLog is an experimental extension of logic programming with strategic conditional transformation rules, combining Prolog with rLog calculus. the rules perform nondeterministic transformations on hedges. Queries may have several results that can be explored on backtracking. Strategies provide a control on rule applications in a declarative way. With strategy combinators, the user can construct more complex strategies from simpler ones. Matching with four different kinds of variables provides a flexiblemechanismof selecting (sub)terms during execution. We give an overviewon programming with strategies in PρLog and demonstrate how rewriting strategies can be expressed. © B. Dundua, T. Kutsia, M. Marin.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共22页 << < 7 8 9 10 11 12 13 14 15 16 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：