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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

54 篇 会议
3 册 图书
2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

47 篇 工学
- 47 篇 计算机科学与技术...
- 22 篇 软件工程
- 5 篇 控制科学与工程
- 4 篇 电气工程
- 2 篇 电子科学与技术（可...
- 2 篇 信息与通信工程
- 1 篇 光学工程
- 1 篇 仪器科学与技术
- 1 篇 生物医学工程（可授...
- 1 篇 生物工程
10 篇 理学
- 8 篇 数学
- 1 篇 物理学
- 1 篇 生物学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...

主题

15 篇 inductive logic ...
9 篇 logic programmin...
6 篇 inductive logic ...
4 篇 computer circuit...
2 篇 mathematical log...
2 篇 programming tech...
2 篇 artificial intel...
2 篇 statistical rela...
1 篇 relational learn...
1 篇 runtime
1 篇 circuit simulati...
1 篇 corpus-based acq...
1 篇 clustering
1 篇 software enginee...
1 篇 subsumption unde...
1 篇 probabilistic lo...
1 篇 hybrid systems
1 篇 gpgpu
1 篇 program analysis
1 篇 architecture

机构

2 篇 katholieke univ ...
2 篇 univ york dept c...
1 篇 kuleuven leuven
1 篇 sri int menlo pk...
1 篇 inria nancy - gr...
1 篇 univ porto cracs...
1 篇 the pennsylvania...
1 篇 stockholm univ d...
1 篇 univ wisconsin d...
1 篇 nancy-université...
1 篇 microsoft corp r...
1 篇 univ porto fac e...
1 篇 univ york york y...
1 篇 univ porto cracs...
1 篇 northeastern uni...
1 篇 sofia univ st kl...
1 篇 univ london impe...
1 篇 ntt commun sci l...
1 篇 simon fraser uni...
1 篇 univ oxford comp...

作者

3 篇 cussens james
3 篇 kazakov dimitar
2 篇 muggleton stephe...
2 篇 srinivasan a
2 篇 costa vitor sant...
2 篇 fonseca nuno a.
2 篇 camacho r
2 篇 russo alessandra
2 篇 algahtani eyad
2 篇 camacho rui
1 篇 yang yuan
1 篇 sakama chiaki
1 篇 janssens g
1 篇 sasaki y
1 篇 luís moniz perei...
1 篇 rocha r
1 篇 lamiroy bart
1 篇 vieira jorge
1 篇 kung-kiu lau
1 篇 de raedt luc

语言

58 篇 英文
1 篇 中文

检索条件"任意字段=10th International Conference on Inductive Logic Programming, ILP 2000"

共 59 条记录，以下是51-60 订阅

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

详细简洁

排序：

10th international Workshop on Computer Science logic, CSL 1996 held with Annual conference of the European Association for Computer Science logic, EACSL 1996

引用

10th international Workshop on Computer Science logic, CSL 1996, 5th Annual conference of the European Association for Computer Science logic, EACSL 1996

ISBN: (纸本)3540631720

the proceedings contain 28 papers. the special focus in this conference is on Computer Science logic. the topics include: Four-valued diagnoses for stratified knowledge-bases;on the subject reduction property for algebraic type systems;bounded-variable fixpoint queries are PSPACE-complete;graph rewriting semantics for functional programming languages;an extension of models of axiomatic domain theory to models of synthetic domain theory;relative undecidability in term rewriting;extending models of second order predicate logic to models of second order dependent type theory;cut-free display calculi for relation algebras;computational aspects of arity hierarchies;weak semantics based on lighted button pressing experiments;monadic NP and built-in trees;optimization problems with approximation schemes;computational representations of herbrand models using grammars;social confluence in client-server systems;a type-free resource-aware a-calculus;inductive definitions with decidable atomic formulas;new intuitionistic logical constants and undecidability of the conservativeness problem.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Analysis and prediction of heart diseases using inductive logic and image segmentation 4th

Analysis and prediction of heart diseases using inductive lo...

引用

4th international conference on Data Mining and Big Data, DMBD 2019

作者： Anand Hareendran, S. Vinod Chandra, S.S. Prasad, Sreedevi Muthoot Institute of Technology and Science Kochi India University of Kerala Trivandrum India RIET Trivandrum India

ISBN: (纸本)9789813295629

the human heart's electrical activity produces currents that radiate through the surrounding tissue to the skin. When electrodes are attached to the skin, they sense these electrical currents and transmit them to an electrocardiograph monitor. the currents are then transformed into waveforms that represent the heart's depolarisation - repolarisation cycle. An electro cardiogram (ECG) shows the precise sequence of electrical events occurring in the cardiac cells throughout the process. It can be used to monitor phases of myocardial contraction and to identify rhythm and conduction disturbances. In this work an automated ECG analysis and prediction of the heart conditions are carried out using a continuous image segmentation phase using inductive logic programming (ilp) system. ECG taken from the patients is fed to the system as input and it uses the background knowledge to predict the possible underlying heart disorders. A continuous image segmentation module runs through out the process which identifies the leads and graph distortions by eliminating the outliers. the extracted lead graphs are compared with the in store ilp system database and possible predictions are made. the system performance was automatically compared (by Brier score method) with the MIT-BIH ECG database (PhysioNet) and a prediction accuracy of 97.8% was obtained in lead-lead prediction. © 2019, Springer Nature Singapore Pte Ltd.

关键词： Electrocardiograms

来源：评论

学校读者我要写书评

暂无评论

10th international Symposium on Methodologies for Intelligent Systems, ISMIS 1997

引用

10th international Symposium on Methodologies for Intelligent Systems, ISMIS 1997

ISBN: (纸本)3540636145

the proceedings contain 60 papers. the special focus in this conference is on logic for AI, Learning and Discovery Systems. the topics include: Goal-oriented multimedia dialogue with variable initiative;knowledge-based image retrieval with spatial and temporal constructs;verification and validation of AI systems that control deep-space spacecraft;data mining and knowledge discovery;embedding prioritized circumscription in logic programs;extending temporal logic for capturing evolving behaviour;a description logic model for querying knowledge bases for structured documents;refining first order theories with neural networks;a way of increasing both autonomy and versatility of a KDD system;a comparison of attribute selection strategies for attribute-oriented generalization;boolean reasoning for feature extraction problems;world model construction in children during physics learning;well-behaved evaluation functions for numerical attributes;an improved inductive learning algorithm with a preanalysis of data;efficient induction of numerical constraints;learning english syllabification for words;towards conceptual query answering;an implementation platform for query-answering in default logics;automating spoken dialogue systems;handwritten digit recognition by local principal components analysis;from conceptual model to internal model;speeding GA-based attribute selection for image interpretation;using recurrent selection to improve GA performance;a coevolutionary approach to concept learning;representation of music in a learning classifier system;on multi-class problems and discretization in inductive logic programming and discovering empirical equations from robot-collected data.

关键词：

来源：评论

学校读者我要写书评

暂无评论

6th international conference on Artificial Intelligence and Symbolic Computation, AISC 2002 held jointly with 10th symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2002

引用

Joint conferences on 6th Artificial Intelligence and Symbolic Computation, AISC 2002 and 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2002

ISBN: (纸本)3540438653

the proceedings contain 30 papers. the special focus in this conference is on Artificial Intelligence, Automated Reasoning, and Symbolic Computation. the topics include: Expressiveness and complexity of full first-order constraints in the algebra of trees;deduction versus computation;integration of quantifier elimination with constraint logic programming;towards a hybrid symbolic/numeric computational approach in controller design;inductive synthesis of functional programs;on a generalised logicality theorem;using symbolic computation in an automated sequent derivation system for multi-valued logic;multicontext logic for semigroups of contexts;indefinite integration as a testbed for developments in multi-agent systems;genetic symbolic classification integrated with non-linear coefficient optimisation;a novel face recognition method;non-commutative logic for hand-written character modeling;from numerical to symbolic data during the recognition of scenarii;on mathematical modeling of networks and implementation aspects;continuous first-order constraint satisfaction;reasoning and scheduling with interval constraints;a genetic-based approach for satisfiability problems;the meaning of infinity in calculus and computer algebra systems and making conjectures about maple functions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fast narrowing-driven partial evaluation for inductively sequential programs 05

Fast narrowing-driven partial evaluation for inductively seq...

引用

10th ACM SIGPLAN international conference on Functional programming, ICFP 2005

作者： Ramos, J. Guadalupe Silva, Josep Vidal, Germán I.T. la Piedad Av. Tecnológico 2000 La Piedad Mich. Mexico DSIC Tech. University of Valencia Camino de Vera s/n E-46022 Valencia Spain

ISBN: (纸本)1595930647

Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good results on small programs, it does not scale up well to realistic problems (e.g., interpreter specialization). In this work, we introduce a faster partial evaluation scheme by ensuring the termination of the process offline. For this purpose, we first characterize a class of programs which are quasiterminating, i.e., the computations performed with needed narrowing- the symbolic computation mechanism of narrowing-driven partial evaluation-only contain finitely many different terms (and, thus, partial evaluation terminates). Since this class is quite restrictive, we also introduce an annotation algorithm for a broader class of programs so that they behave like quasi-terminating programs w.r.t. an extension of needed narrowing. Preliminary experiments are encouraging and demonstrate the usefulness of our approach. Copyright © 2005 ACM.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Synthesizing Switching logic Using Constraint Solving

Synthesizing Switching Logic Using Constraint Solving

引用

10th international conference on Verification, Model Checking and Abstract Interpretation

作者： Taly, Ankur Gulwani, Sumit Tiwari, Ashish Stanford Univ Dept Comp Sci Stanford CA 94305 USA Microsoft Corp Redmond WA 98052 USA SRI Int Menlo Pk CA 94025 USA

ISBN: (纸本)9783540938996

A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. this approach works by searching for inductive invariants of a given form. In this paper, we extend that work to automatic synthesis of safe hybrid systems. Starting with a multi-modal dynamical system and a safety property, we present a sound technique for synthesizing a switching logic for changing modes so as to preserve the safety property. By construction, the synthesized hybrid system is well-formed and is guaranteed safe. Our approach is based on synthesizing a controlled invariant that is sufficient to prove safety. the generation of the controlled invariant is cast as a constraint, solving problem. When the system, the safety property, and the controlled invariant are all expressed only using polynomials, the generated constraint is an EA formula in the theory of reals, which we solve using SMT solvers. the generated controlled invariant is then used to arrive at the maximally liberal switching logic.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

6th Pacific Rim international conference on Artificial Intelligence, PRICAI 2000

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

引用

6th Pacific Rim international conference on Artificial Intelligence, PRICAI 2000

ISBN: (纸本)3540679251

the proceedings contain 121 papers. the special focus in this conference is on Foundations of AI, Induction, logic programming, Reinforcement Learning and Machine Learning. the topics include: Knowledge representation, belief revision, and the challenge of optimality;towards a next-generation search engine;an attempt to represent a database by predicate formulae;a unifying semantics for causal ramifications;inductive inference of chess player strategy;compiling logical features into specialized state-evaluators by partial evaluation, Boolean tables and incremental calculation;using domain knowledge in ilp to discover protein functional models;knowledge reformation for efficient first-order hypothetical reasoning;determination of general concept in learning default rules;a theory of profit sharing in dynamic environment;a region selecting method which performs observation and action in the multi-resolution environment;the lumberjack algorithm for learning linked decision forests;efficient iris recognition system by optimization of feature vectors and classifier;an efficient learning algorithm using natural gradient and second order information of error surface;fast and robust general purpose clustering algorithms;tropical cyclone intensity forecasting model;trading off granularity against complexity in predictive models for complex domains;efficient inference in dynamic belief networks with variable temporal resolution;epistemic states guiding the rational dynamics of information;perceiving environments for intelligent agents;constructing an autonomous agent with an interdependent heuristics;from brain theory to autonomous robotic agents and a multi-agent approach for optical inspection technology.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A threshold logic-based reconfigurable logic element with a new programming technology 10th

引用

10th international conference on Field-Programmable logic and Applications, FPL 2000

作者： Aoyama, Kazuo Sawada, Hiroshi Nagoya, Akira Nakajima, Kazuo NTT Communication Science Laboratories 2-4 Hikaridai Seika-cho Soraku-gun Kyoto619-0237 Japan NTT Network Innovation Laboratories 1-1 Hikarinooka Yokosuka-Shi Kanagawa239-0847 Japan Department of Electrical and Computer Engineering University of Maryland College ParkMD20742 United States

ISBN: (纸本)3540678999

We introduce a new reconfigurable logic element. Its operations are based on threshold logic and it can store its own configuration data. the element is composed of threshold gates which are implemented in a two-level feed-forward neuron MOS circuit. We present a effective method of switching and storing the values of two variable thresholds in a neuron MOS transistor so as to reconfigure the element without requiring any additional memory circuit or device. Circuit simulation results are provided to verify the correct operations of the reconfigurable element in the following four function modes: symmetric function modes with/without configuration data storage, and multiplexer function modes with/without control data storage. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Circuit simulation

来源：评论

学校读者我要写书评

暂无评论

Optimal chain rule placement for instruction selection based on SSA graphs 07

Optimal chain rule placement for instruction selection based...

引用

10th international Workshop on Software and Compilers for Embedded Systems, SCOPES 2007

作者： Schäfer, Stefan Scholz, Bernhard School of IT University of Sydney Sydney NSW 2006

ISBN: (纸本)9781450378345

Instruction selection is a compiler optimisation that translates the intermediate representation of a program into a lower intermediate representation or an assembler program. We use the SSA form as an intermediate representation for instruction selection. Patterns are used for translation and are expressed as production rules in a graph grammar. the instruction selector seeks for a syntax derivation with minimal costs optimising execution time, code size, or a combination of both. Production rules are either base rules which match nodes in the SSA graph or chain rules which convert results of operations. We present a new algorithm for placing chain rules in a control flow graph. this new algorithm places chain rules optimally for an arbitrary cost metric. Experiments with the MiBench and SPEC2000 benchmark suites show that our proposed algorithm is feasible and always yields better results than simple strategies currently in use. We reduce the costs for placing chain rules by 25% for the MiBench suite and by 11% for the SPEC2000 suite.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共6页 << < 1 2 3 4 5 6 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：