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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

983 篇 会议
37 篇 期刊文献
25 册 图书

馆藏范围

1,043 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

704 篇 工学
- 585 篇 计算机科学与技术...
- 368 篇 软件工程
- 146 篇 电气工程
- 56 篇 控制科学与工程
- 30 篇 信息与通信工程
- 27 篇 材料科学与工程（可...
- 19 篇 电子科学与技术（可...
- 16 篇 机械工程
- 11 篇 动力工程及工程热...
- 11 篇 生物医学工程（可授...
- 10 篇 生物工程
- 7 篇 仪器科学与技术
- 7 篇 石油与天然气工程
- 6 篇 城乡规划学
- 4 篇 核科学与技术
- 4 篇 农业工程
188 篇 理学
- 155 篇 数学
- 18 篇 系统科学
- 17 篇 物理学
- 12 篇 统计学（可授理学、...
- 10 篇 生物学
69 篇 管理学
- 53 篇 管理科学与工程(可...
- 22 篇 工商管理
- 19 篇 图书情报与档案管...
16 篇 教育学
- 16 篇 教育学
11 篇 文学
- 11 篇 新闻传播学
9 篇 法学
- 8 篇 社会学
6 篇 医学
- 4 篇 基础医学(可授医学...
4 篇 农学
- 4 篇 作物学
3 篇 经济学
- 3 篇 应用经济学
1 篇 军事学

主题

96 篇 logic gates
77 篇 programming
63 篇 logic programmin...
40 篇 fuzzy logic
35 篇 application soft...
30 篇 probabilistic lo...
29 篇 linear programmi...
27 篇 programming prof...
27 篇 computer archite...
26 篇 computer science
26 篇 dynamic programm...
23 篇 software enginee...
23 篇 protocols
21 篇 uncertainty
20 篇 object oriented ...
20 篇 java
20 篇 semantics
18 篇 computer circuit...
18 篇 costs
17 篇 software systems

机构

4 篇 univ potsdam pot...
4 篇 vienna univ tech...
4 篇 imdea software i...
4 篇 institute for lo...
3 篇 tu wien austria
3 篇 graduate school ...
3 篇 univ calabria de...
3 篇 carnegie mellon ...
3 篇 univ freiburg fr...
3 篇 univ british col...
3 篇 imperial coll lo...
3 篇 department of in...
2 篇 univ tecn federi...
2 篇 ist austria klos...
2 篇 univ savoie savo...
2 篇 tel aviv univers...
2 篇 zhongguancun lab...
2 篇 univ ferrara dip...
2 篇 south china univ...
2 篇 univ neuchatel i...

作者

8 篇 alviano mario
6 篇 lamma evelina
5 篇 schaub torsten
4 篇 riguzzi fabrizio
3 篇 lin yu
3 篇 vardi moshe y.
3 篇 gebser martin
3 篇 bellodi elena
3 篇 costa vitor sant...
3 篇 shinji sakamoto
3 篇 lakemeyer gerhar...
3 篇 ikeda markus
3 篇 zhou neng-fa
3 篇 xu hongxiang
3 篇 sabuncu orkunt
3 篇 leonard barolli
3 篇 schockaert steve...
3 篇 pichler andreas
3 篇 wang bin
3 篇 de givry simon

语言

1,013 篇 英文
25 篇 其他
8 篇 中文
1 篇 法文

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

共 1045 条记录，以下是621-630 订阅

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

详细简洁

排序：

A Proof theoretic Study of Soft Concurrent Constraint programming

A Proof Theoretic Study of Soft Concurrent Constraint Progra...

引用

30th international conference on logic programming

作者： Pimentel, Elaine Olarte, Carlos Nigam, Vivek Univ Fed Rio Grande do Norte BR-59072970 Natal RN Brazil Pontificia Univ Javeriana Cali Javeriana Colombia Univ Fed Paraiba BR-58059900 Joao Pessoa Paraiba Brazil

Concurrent Constraint programming (CCP) is a simple and powerful model for concurrency where agents interact by telling and asking constraints. Since their inception, CCP-languages have been designed for having a strong connection to logic. In fact, the underlying constraint system can be built from a suitable fragment of intuitionistic (linear) logic -ILL- and processes can be interpreted as formulas in ILL. Constraints as ILL formulas fail to represent accurately situations where "preferences" (called soft constraints) such as probabilities, uncertainty or fuzziness are present. In order to circumvent this problem, c-semirings have been proposed as algebraic structures for defining constraint systems where agents are allowed to tell and ask soft constraints. Nevertheless, in this case, the tight connection to logic and proof theory is lost. In this work, we give a proof theoretical meaning to soft constraints: they can be defined as formulas in a suitable fragment of ILL with subexponentials (SELL) where subexponentials, ordered in a c-semiring structure, are interpreted as preferences. We hence achieve two goals: (1) obtain a CCP language where agents can tell and ask soft constraints and (2) prove that the language in (1) has a strong connection with logic. Hence we keep a declarative reading of processes as formulas while providing a logical framework for soft-CCP based systems. An interesting side effect of (1) is that one is also able to handle probabilities (and other modalities) in SELL, by restricting the use of the promotion rule for non-idempotent c-semirings. this finer way of controlling subexponentials allows for considering more interesting spaces and restrictions, and it opens the possibility of specifying more challenging computational systems.

关键词： Concurrent Constraint programming Linear logic Soft Constraints

来源：评论

学校读者我要写书评

暂无评论

Managing Uncertainty in Spatial and Spatio-temporal Data

Managing Uncertainty in Spatial and Spatio-temporal Data

引用

IEEE 30th international conference on Data Engineering (ICDE)

作者： Cheng, Reynold Emrich, Tobias Kriegel, Hans-Peter Mamoulis, Nikos Renz, Matthias Trajcevski, Goce Zuefle, Andreas Univ Munich Inst Informat D-81377 Munich Germany Univ Hong Kong Dept Comp Sci Hong Kong Hong Kong Peoples R China Northwestern Univ Dept EECS Evanston IL USA Univ So Calif Integrated Media Syst Ctr Los Angeles CA USA

ISBN: (纸本)9781479934805

Location-related data has a tremendous impact in many applications of high societal relevance and its growing volume from heterogeneous sources is one true example of a Big Data [1]. An inherent property of any spatio-temporal dataset is uncertainty due to various sources of imprecision. this tutorial provides a comprehensive overview of the different challenges involved in managing uncertain spatial and spatio-temporal data and presents state-of-the-art techniques for addressing them.

关键词： Data models Probabilistic logic Semantics Spatial databases Tutorials Uncertainty

来源：评论

学校读者我要写书评

暂无评论

Lifted Variable Elimination for Probabilistic logic programming

Lifted Variable Elimination for Probabilistic Logic Programm...

引用

30th international conference on logic programming

作者： Bellodi, Elena Lamma, Evelina Riguzzi, Fabrizio Costa, Vitor Santos Zese, Riccardo Univ Ferrara Dipartimento Ingn I-44122 Ferrara Italy Univ Ferrara Dipartimento Matemat & Informat I-44122 Ferrara Italy Univ Porto CRACS INESC TEC P-4169007 Oporto Portugal Univ Porto DCC FCUP P-4169007 Oporto Portugal

Lifted inference has been proposed for various probabilistic logical frameworks in order to compute the probability of queries in a time that depends on the size of the domains of the random variables rather than the number of instances. Even if various authors have underlined its importance for probabilistic logic programming (PLP), lifted inference has been applied up to now only to relational languages outside of logic programming. In this paper we adapt Generalized Counting First Order Variable Elimination (GC-FOVE) to the problem of computing the probability of queries to probabilistic logic programs under the distribution semantics. In particular, we extend the Prolog Factor Language (PFL) to include two new types of factors that are needed for representing ProbLog programs. these factors take into account the existing causal independence relationships among random variables and are managed by the extension to variable elimination proposed by Zhang and Poole for dealing with convergent variables and heterogeneous factors. Two new operators are added to GC-FOVE for treating heterogeneous factors. the resulting algorithm, called LP2 for Lifted Probabilistic logic programming, has been implemented by modifying the PFL implementation of GC-FOVE and tested on three benchmarks for lifted inference. A comparison with PITA and ProbLog2 shows the potential of the approach.

关键词： Probabilistic logic programming Lifted Inference Variable Elimination Distribution Semantics ProbLog Statistical Relational Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Resource Usage Analysis of logic Programs via Abstract Interpretation Using Sized Types

Resource Usage Analysis of Logic Programs via Abstract Inter...

引用

30th international conference on logic programming

作者： Serrano, A. Lopez-Garcia, P. Hermenegildo, M. V. Univ Utrecht Dept Informat & Comp Sci NL-3508 TC Utrecht Netherlands IMDEA Software Inst Madrid Spain CSIC Spanish Council Sci Res Madrid Spain Tech Univ Madrid UPM Madrid Spain

We present a novel general resource analysis for logic programs based on sized types. Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. they also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, overcoming limitations of existing resource analyses and enhancing their precision. Our new resource analysis has been developed within the abstract interpretation framework, as an extension of the sized types abstract domain, and has been integrated into the Ciao preprocessor, CiaoPP. the abstract domain operations are integrated with the setting up and solving of recurrence equations for inferring both size and resource usage functions. We show that the analysis is an improvement over the previous resource analysis present in CiaoPP and compares well in power to state of the art systems.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

claspfolio 2: Advances in Algorithm Selection for Answer Set programming

claspfolio 2: Advances in Algorithm Selection for Answer Set...

引用

30th international conference on logic programming

作者： Hoos, Holger Lindauer, Marius Schaub, Torsten Univ British Columbia Vancouver BC V5Z 1M9 Canada Univ Freiburg Freiburg Germany Univ Potsdam Potsdam Germany

Building on the award-winning, portfolio-based ASP solver claspfolio, we present claspfolio 2, a modular and open solver architecture that integrates several different portfolio-based algorithm selection approaches and techniques. the claspfolio 2 solver framework supports various feature generators, solver selection approaches, solver portfolios, as well as solver-schedule-based pre-solving techniques. the default configuration of claspfolio 2 relies on a light-weight version of the ASP solver clasp to generate static and dynamic instance features. the flexible open design of claspfolio 2 is a distinguishing factor even beyond ASP. As such, it provides a unique framework for comparing and combining existing portfolio-based algorithm selection approaches and techniques in a single, unified framework. Taking advantage of this, we conducted an extensive experimental study to assess the impact of different feature sets, selection approaches and base solver portfolios. In addition to gaining substantial insights into the utility of the various approaches and techniques, we identified a default configuration of claspfolio 2 that achieves substantial performance gains not only over clasp's default configuration and the earlier version of claspfolio, but also over manually tuned configurations of clasp.

关键词： Feature extraction

来源：评论

学校读者我要写书评

暂无评论

Contextual Abductive Reasoning with Side-Effects

Contextual Abductive Reasoning with Side-Effects

引用

30th international conference on logic programming

作者： Pereira, Luis Moniz Dietz, Emmanuelle-Anna Hoelldobler, Steffen Univ Nova Lisboa Fac Ciencias & Tecnol Dept Informat Ctr Inteligencia Artificial CENTRIA P-2829516 Caparica Portugal Tech Univ Dresden Int Ctr Computat Logi D-01062 Dresden Germany

the belief bias effect is a phenomenon which occurs when we think that we judge an argument based on our reasoning, but are actually influenced by our beliefs and prior knowledge. Evans, Barston and Pollard carried out a psychological syllogistic reasoning task to prove this effect. Participants were asked whether they would accept or reject a given syllogism. We discuss one specific case which is commonly assumed to be believable but which is actually not logically valid. By introducing abnormalities, abduction and background knowledge, we adequately model this case under the weak completion semantics. Our formalization reveals new questions about possible extensions in abductive reasoning. For instance, observations and their explanations might include some relevant prior abductive contextual information concerning some side-effect or leading to a contestable or refutable side-effect. A weaker notion indicates the support of some relevant consequences by a prior abductive context. Yet another definition describes jointly supported relevant consequences, which captures the idea of two observations containing mutually supportive side-effects. though motivated with and exemplified by the running psychology application, the various new general abductive context definitions are introduced here and given a declarative semantics for the first time, and have a much wider scope of application. Inspection points, a concept introduced by Pereira and Pinto, allows us to express these definitions syntactically and intertwine them into an operational semantics.

关键词： Abductive Reasoning Contextual Reasoning Side-effects Human Reasoning Belief-Bias Inspection Points three-valued Lukasiewicz logic Weak Completion Semantics logic programming

来源：评论

学校读者我要写书评

暂无评论

Prompter: A Self-confident Recommender System 30

Prompter: A Self-confident Recommender System

引用

30th IEEE international conference on Software Maintenance and Evolution (ICSME)

作者： Ponzanelli, Luca Bavota, Gabriele Di Penta, Massimiliano Oliveto, Rocco Lanza, Michele Univ Lugano REVEAL Fac Informat Lugano Switzerland Univ Sannio Benevento Italy Univ Molise Pesche IS Italy

ISBN: (纸本)9780769553030

Developers often consult different sources of information like Application programming Interfaces (API) documentation, forums, Q&A websites, etc. with the aim of gathering additional knowledge for the programming task at hand. the process of searching and identifying valuable pieces of information requires developers to spend time and energy in formulating the right queries, assessing the returned results, and integrating the obtained knowledge into the code base. All of this is often done manually. We present Prompter, a plug-in for the Eclipse IDE which automatically searches and identifies relevant Stack Overflow discussions, evaluates their relevance given the code context in the IDE, and notifies the developer if and only if a user-defined confidence threshold is surpassed.

关键词： Application programming interfaces (API)

来源：评论

学校读者我要写书评

暂无评论

User-Driven Refinement of Imprecise Queries

User-Driven Refinement of Imprecise Queries

引用

IEEE 30th international conference on Data Engineering (ICDE)

作者： Qarabaqi, Bahar Riedewald, Mirek Northeastern Univ Coll Comp & Informat Sci Boston MA 02115 USA

ISBN: (纸本)9781479934805

We propose techniques for exploratory search in large databases. the goal is to provide new functionality that aids users in homing in on the right query conditions to find what they are looking for. Query refinement proceeds interactively by repeatedly consulting the user to manage query conditions. this process is characterized by three key challenges: (1) dealing with incomplete and imprecise user input, (2) keeping user effort low, and (3) guaranteeing interactive system response time. We address the first two challenges with a probability-based framework that guides the user to the most important query conditions. To recover from input errors, we introduce the notion of sensitivity and propose efficient algorithms for identifying the most sensitive user input, i.e., those inputs that had the greatest influence on the query results. For the third challenge, we develop techniques that can deliver estimates of the required probabilities within a given hard realtime limit and are able to adapt automatically as the interactive query refinement proceeds.

关键词： Birds Databases Image color analysis Probabilistic logic Probability distribution Sensitivity Uncertainty

来源：评论

学校读者我要写书评

暂无评论

Pay-as-you-go Reconciliation in Schema Matching Networks

Pay-as-you-go Reconciliation in Schema Matching Networks

引用

IEEE 30th international conference on Data Engineering (ICDE)

作者： Nguyen Quoc Viet Hung Nguyen thanh Tam Miklos, Zoltan Aberer, Karl Gal, Avigdor Weidlich, Matthias Ecole Polytech Fed Lausanne CH-1015 Lausanne Switzerland Univ Rennes 1 F-35014 Rennes France Technion Israel Inst Technol IL-32000 Haifa Israel Univ London Imperial Coll Sci Technol & Med London SW7 2AZ England

ISBN: (纸本)9781479934805

Schema matching is the process of establishing correspondences between the attributes of database schemas for data integration purposes. Although several automatic schema matching tools have been developed, their results are often incomplete or erroneous. To obtain a correct set of correspondences, a human expert is usually required to validate the generated correspondences. We analyze this reconciliation process in a setting where a number of schemas needs to be matched, in the presence of consistency expectations about the network of attribute correspondences. We develop a probabilistic model that helps to identify the most uncertain correspondences, thus allowing us to guide the expert's work and collect his input about the most problematic cases. As the availability of such experts is often limited, we develop techniques that can construct a set of good quality correspondences with a high probability, even if the expert does not validate all the necessary correspondences. We demonstrate the efficiency of our techniques through extensive experimentation using real-world datasets.

关键词： Approximation methods Computational modeling Data integration Databases Measurement uncertainty Probabilistic logic Uncertainty

来源：评论

学校读者我要写书评

暂无评论

Discriminative Features for Identifying and Interpreting Outliers

Discriminative Features for Identifying and Interpreting Out...

引用

IEEE 30th international conference on Data Engineering (ICDE)

作者： Dang, Xuan Hong Assent, Ira Ng, Raymond T. Zimek, Arthur Schubert, Erich Aarhus Univ Dept Comp Sci DK-8000 Aarhus Denmark Univ British Columbia Dept Comp Sci Vancouver BC V6T 1W5 Canada Univ Munich Inst Informat D-80539 Munich Germany

ISBN: (纸本)9781479934805

We consider the problem of outlier detection and interpretation. While most existing studies focus on the first problem, we simultaneously address the equally important challenge of outlier interpretation. We propose an algorithm that uncovers outliers in subspaces of reduced dimensionality in which they are well discriminated from regular objects while at the same time retaining the natural local structure of the original data to ensure the quality of outlier explanation. Our algorithm takes a mathematically appealing approach from the spectral graph embedding theory and we show that it achieves the globally optimal solution for the objective of subspace learning. By using a number of real-world datasets, we demonstrate its appealing performance not only w.r.t. the outlier detection rate but also w.r.t. the discriminative human-interpretable features. this is the first approach to exploit discriminative features for both outlier detection and interpretation, leading to better understanding of how and why the hidden outliers are exceptional.

关键词： Data mining Eigenvalues and eigenfunctions Face Feature extraction Linear programming Sparse matrices Vectors

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共105页 << < 59 60 61 62 63 64 65 66 67 68 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：