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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

298 篇 会议
27 篇 期刊文献
19 册 图书

馆藏范围

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

日期分布

学科分类号

245 篇 工学
- 229 篇 计算机科学与技术...
- 117 篇 软件工程
- 19 篇 电气工程
- 17 篇 控制科学与工程
- 14 篇 信息与通信工程
- 6 篇 机械工程
- 5 篇 电子科学与技术（可...
- 5 篇 生物工程
- 4 篇 仪器科学与技术
- 3 篇 材料科学与工程（可...
- 3 篇 化学工程与技术
- 3 篇 生物医学工程（可授...
- 2 篇 建筑学
- 2 篇 农业工程
- 1 篇 光学工程
53 篇 理学
- 39 篇 数学
- 8 篇 生物学
- 4 篇 系统科学
- 4 篇 统计学（可授理学、...
- 3 篇 化学
- 2 篇 物理学
23 篇 管理学
- 14 篇 管理科学与工程(可...
- 9 篇 图书情报与档案管...
- 5 篇 工商管理
6 篇 经济学
- 3 篇 理论经济学
- 3 篇 应用经济学
3 篇 教育学
- 2 篇 教育学
- 1 篇 心理学(可授教育学...
3 篇 农学
- 2 篇 作物学
2 篇 法学
- 2 篇 社会学
1 篇 医学

主题

70 篇 logic programmin...
18 篇 inductive logic ...
15 篇 artificial intel...
12 篇 programming
12 篇 mathematical log...
11 篇 programming tech...
11 篇 logics and meani...
10 篇 software enginee...
10 篇 logic gates
10 篇 programming lang...
7 篇 computer science
7 篇 semantics
6 篇 computer circuit...
6 篇 inductive logic ...
6 篇 probabilistic lo...
5 篇 optimization
5 篇 logic
5 篇 machine learning
4 篇 formal logic
4 篇 computer archite...

机构

5 篇 inria rennes ren...
5 篇 university of po...
3 篇 microsoft res re...
3 篇 univ paris 13 li...
3 篇 carnegie mellon ...
3 篇 aalto university...
3 篇 univ penn philad...
2 篇 univ wales dept ...
2 篇 stanford univ ct...
2 篇 politecn torino ...
2 篇 indian inst tech...
2 篇 univ freiburg in...
2 篇 univ wisconsin d...
2 篇 czech tech univ ...
2 篇 univ london impe...
2 篇 department of in...
2 篇 univ paris 13 li...
2 篇 harvard univ cam...
2 篇 columbia univ ct...
2 篇 ibm unternehmens...

作者

8 篇 gebser martin
6 篇 srinivasan ashwi...
6 篇 alphonse erick
5 篇 schaub torsten
5 篇 ricca francesco
4 篇 osmani aomar
4 篇 page david
4 篇 camacho rui
3 篇 yamamoto akihiro
3 篇 king ross
3 篇 rouveirol celine
3 篇 moreno gines
3 篇 leger hippolyte
3 篇 janhunen tomi
3 篇 maratea marco
3 篇 bouthinon domini...
3 篇 lebbah mustapha
2 篇 muggleton stephe...
2 篇 fronhöfer b
2 篇 khatibsyarbini

语言

332 篇 英文
7 篇 其他
5 篇 中文

检索条件"任意字段=13th International Conference on Inductive Logic Programming"

共 344 条记录，以下是161-170 订阅

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

详细简洁

排序：

Foundations of coloring algebra with consequences for feature-oriented programming

Foundations of coloring algebra with consequences for featur...

引用

13th international conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012

作者： Höfner, Peter Möller, Bernhard Zelend, Andreas NICTA Australia Universität Augsburg Germany University of New South Wales Australia

ISBN: (纸本)9783642333132

In 2011, simple and concise axioms for feature compositions, interactions and products have been proposed by Batory et al. they were mainly inspired by Kästner's Colored IDE (CIDE) as well as by experience in feature oriented programming over the last decades. However, so far only axioms were proposed;consequences of these axioms such as variability in models have not been studied. In this paper we discuss the proposed axioms from a theoretical point of view, which yields a much better understanding of the proposed algebra and therefore of feature oriented programming. For example, we show that the axioms characterising feature composition are isomorphic to set-theoretic models. © 2012 Springer-Verlag.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

JASP: A framework for integrating answer set programming with Java

JASP: A framework for integrating answer set programming wit...

引用

13th international conference on the Principles of Knowledge Representation and Reasoning, KR 2012

作者： Febbraro, Onofrio Grasso, Giovanni Leone, Nicola Ricca, Francesco DLVSystem s.r.l. P.zza Vermicelli Polo Tecnologico Rende Italy Oxford University Department of Computer Science Parks Road Oxford United Kingdom University of Calabria Department of Mathematics Rende Italy

ISBN: (纸本)9781577355601

Answer Set programming (ASP) is a fully-declarative logic programming paradigm, which has been proposed in the area of knowledge representation and non-monotonic reasoning. Nowadays, the formal properties of ASP are well-understood, efficient ASP systems are available, and, recently, ASP has been employed in a few industrial applications. However, ASP technology is not mature for a successful exploitation in industry yet;mainly because ASP technologies are not integrated in the well-assessed development processes and platforms which are tailored for imperative/object-oriented programming languages. In this paper we present a new programming framework blending ASP with Java. the framework is based on JASP, an hybrid language that transparently supports a bilateral interaction between ASP and Java. JASP specifications are compliant with the JPA standard to perfectly fit extensively-adopted enterprise application technologies. the framework also encompasses an implementation of JASP as a plug-in for the Eclipse platform, called JDLV, which includes a compiler from JASP to Java. Moreover, we show a real-world application developed with JASP and JDLV, which highlights the effectiveness of our ASP-Java integration framework. Copyright © 2012, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Surface potential compact model for embedded flash devices oriented to IC memory design

Surface potential compact model for embedded flash devices o...

引用

international conference on Ultimate Integration of Silicon, ULIS

作者： Davide Garetto Denis Rideau Fabien Gilibert Alexandre Schmid Hervé Jaouen Yusuf Leblebici IBM Systems and Technology Group Crolles France Ecole Polytechnique Fédérale de Lausanne Lausanne Switzerland STMicroelectronics Crolles France

A surface potential-based model for embedded flash memory cells has been developed with the purpose of providing a comprehensive physical understanding of the device operation suitable for performance optimization in memory circuit design. An accurate validation methodology takes into account charge balance effects on the isolated floating gate node and parasitic couplings inside and between the memory cells. the compact model supports DC, AC and transient analyses, including program/erase bias scalability, drain disturb and memory endurance degradation models due to oxide aging. After validation, the model has been applied to parametric analysis and used to evaluate critical trade-offs in memory design.

关键词： logic gates Integrated circuit modeling Analytical models programming Transient analysis Voltage measurement Ash

来源：评论

学校读者我要写书评

暂无评论

OOFM - A feature modeling approach to implement MPLs and DSPLs

OOFM - A feature modeling approach to implement MPLs and DSP...

引用

IEEE international conference on Information Reuse and Integration (IRI)

作者： Victor Travassos Sarinho Antônio L. Apolinário Eduardo S. de Almeida UEFS-DEXA Feira de Santana Bahia Brazil UEFS-DEXA Av. Transnordestina S/N Feira de Santana-BA UFBA-IM Salvador Bahia Brazil UFBA-IM Av. Adhemar de Barros S/N Campus Ondina Salvador Bahia UFBA RiSE Av. Adhemar de Barros S/N Campus Ondina Salvador Bahia

this paper uses the Object Oriented Feature Modeling (OOFM) technique to develop Multiple Product Lines (MPLs) and Dynamic SPLs (DSPLs). the idea is combine defined OOFM resources in a Model-View-Controller (MVC) architectural style. As result, a pattern-based Product Line Architecture (PLA) is provided, a kind of middleware that performs an advanced usage of multiple and dynamic OOFM features able to generate desired MPLs and DSPLs.

关键词： Object oriented modeling Software Multiprotocol label switching Adaptation models Programmable logic arrays programming Observers

来源：评论

学校读者我要写书评

暂无评论

Coalgebraic Semantics for Parallel Derivation Strategies in logic programming

Coalgebraic Semantics for Parallel Derivation Strategies in ...

引用

13th international conference on Algebraic Methodology and Software Technology

作者： Komendantskaya, Ekaterina McCusker, Guy Power, John Univ Dundee Dept Comp Dundee DD1 4HN Scotland Univ Bath Dept Comp Sci Bath England

ISBN: (纸本)9783642177958

logic programming, a class of programming languages based on first-order logic, provides simple and efficient tools for goal-oriented proof-search. logic programming supports recursive computations, and some logic programs resemble the inductive or coinductive definitions written in functional programming languages. In this paper, we give a coalgebraic semantics to logic programming. We show that ground logic programs can be modelled by either P-f P-f-coalgebras or P-f List-coalgebras on Set. We analyse different kinds of derivation strategies and derivation trees (proof-trees, SLD-trees, and-or parallel trees) used in logic programming, and show how they can be modelled coalgebraically.

关键词： logic programming SLD-resolution Parallel logic programming Coalgebra Coinduction

来源：评论

学校读者我要写书评

暂无评论

the discovery of frequent patterns with logic and constraint programming

The discovery of frequent patterns with logic and constraint...

引用

13th WSEAS international conference on Mathematical Methods, Computational Techniques and Intelligent Systems, MAMECTIS'11, 10th WSEAS international conference on Non-Linear Analysis, Non-Linear Systems and Chaos, NOLASC'11, CONTROL'11, WAMUS'11

作者： Kerdprasop, Nittaya Kerdprasop, Kittisak Data Engineering Research Unit School of Computer Engineering Suranaree University of Technology 111 University Avenue Nakhon Ratchasima 30000 Thailand

ISBN: (纸本)9781618040114

the basic goal of data mining is to discover patterns occurring in the databases, such as associations, classification models, sequential patterns, and so on. In this paper we focus on the problem of frequent pattern discovery, which is the process of searching for patterns such as sets of features or items that appear in data frequently. Such frequent patterns can reveal associations, correlations, and many other interesting relationships hidden in a database. Most of frequent pattern mining systems in the market are too generic and become inefficient when set of patterns is large and the frequent patterns are very long. A new trend in data mining is a scalable method that uses constraints to guide the system in its search for interesting patterns. Our main research objective is the development of constraint-based mining methodology and this paper presents the preliminary results of our study and prototype development. We present the implementation of frequent pattern mining system based on declarative programming paradigm using logic programming and constraint logic programming. the comparative performance studies on speed and memory usage of logic versus constraint programming are also reported in the paper.

关键词： Constraint programming

来源：评论

学校读者我要写书评

暂无评论

Incremental Learning of Relational Action Models in Noisy Environments

引用

20th international conference on inductive logic programming (ILP)

作者： Rodrigues, Christophe Gerard, Pierre Rouveirol, Celine Univ Paris 13 LIPN A3 F-93430 Villetaneuse France

ISBN: (纸本)9783642212949;9783642212956

In the Relational Reinforcement Learning framework, we propose an algorithm that learns an action model (or an approximation of the transition function) in order to predict the resulting state of an action in a given situation. this algorithm learns incrementally a set of first order rules in a noisy environment following a data-driven loop. Each time a new example is presented that contradicts the current action model, the model is revised (by generalization and/or specialization). As opposed to a previous version of our algorithm that operates in a noise-free context, we introduce here a number of indicators attached to each rule that allows to evaluate if the revision should take place immediately or should be delayed. We provide an empirical evaluation on usual RRL benchmarks.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Algebraic Methodology and Software Technology - 13th international conference, AMAST 2010, Revised Selected Papers

Algebraic Methodology and Software Technology - 13th Interna...

引用

13th international conference on Algebraic Methodology and Software Technology, AMAST 2010

ISBN: (纸本)3642177956

the proceedings contain 15 papers. the topics discussed include: structural analysis for stochastic process algebra models;verification of common interprocedural compiler optimizations using visibly pushdown Kleene algebra;on the expressiveness of the π-calculus and the mobile ambients;integrating Maude into hets;model refinement using bisimulation quotients;coalgebraic semantics for parallel derivation strategies in logic programming;learning in a changing world, an algebraic modal logical approach;program calculation in coq;cooperation of algebraic constraint domains in higher-order functional and logic programming;a complete declarative debugger for Maude;and an assume guarantee approach for checking quantified array assertions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Cooperation of Algebraic Constraint Domains in Higher-Order Functional and logic programming

Cooperation of Algebraic Constraint Domains in Higher-Order ...

引用

13th international conference on Algebraic Methodology and Software Technology

作者： del Vado Virseda, Rafael Univ Complutense Madrid Dpto Sistemas Informat & Computac E-28040 Madrid Spain

ISBN: (纸本)9783642177958

this paper presents a theoretical framework for the integration of the cooperative constraint solving of several algebraic domains into higher-order functional and logic programming on A-abstractions, using an instance of a generic Constraint Functional logic programming (CFLP) scheme over a so-called higher-order coordination domain. We provide this framework as a powerful computational model for the higher-order cooperation of algebraic constraint domains over real numbers and integers, which has been useful in practical applications involving the hybrid combination of its components, so that more declarative and efficient solutions can be promoted. Our proposal of computational model has been proved sound and complete with respect to the declarative semantics provided by the CFLP scheme, and enriched with new mechanisms for modeling the intended cooperation among the algebraic domains and a novel higher-order constraint domain equipped with a sound and complete constraint solver for solving higher-order equations. We argue the applicability of our approach describing a prototype implementation on top of the constraint functional logic system TOY.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Computer Aided threat Identification

Computer Aided Threat Identification

引用

13th IEEE international conference on Commerce and Enterprise Computing (CEC)

作者： Asnar, Yudistira Li, Tong Massacci, Fabio Paci, Federica Univ Trento DISI Trento Italy Tsinghua Univ Sch Software Beijing Peoples R China

ISBN: (纸本)9780769545356

Recently, there has been an increase of reported security threats hitting organizations. Some of them are originated from the assignments to users of inappropriate permissions on organizational sensitive data. thus it is crucial for organizations to recognize as early as possible the risks deriving by inappropriate access right management and to identify the solutions that they need to prevent such risks. In this paper, we propose a framework to identify threats during the requirements analysis of organizations' IT systems. With respect to other works which have attempted to include security analysis into requirement engineering process (e.g., KAOS, Elahi et al., Asnar et al.), our framework does not rely on the level of expertise of the security analyst to detect threats but allows to automatically identify threats that derive from inappropriate access management. To capture the organization's setting and the system stakeholders' requirements, we adopt SI* [1], a requirement engineering framework founded on the concepts of actors, goals, tasks and resources. this framework extends SI* with a reasoning technique that identifies potential security threats on resources and relevant goals. the reasoning is based on Answer Set programming ( ASP) logic rules that take into account the relationships between resources and the delegation of permission relations between actors. We illustrate this framework using an eHealth scenario.

关键词： Cognition Computers Drugs Hospitals SI Security Silicon access right management answer set programming logic rules computer aided threat identification eHealth scenario health care inference mechanisms knowledge representation languages organisational aspects organization IT systems organizational sensitive data reasoning technique requirement engineering process requirements analysis security analysis security of data systems analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：