设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(11)
Springer电子图书(180)
ProQuest学位论文(181)
Elsevier电子期刊(2738)
Wiley电子期刊(7)
SpringerLink电子期刊(3420)
NATURE电子期刊(3)
ACS电子期刊(29)
在“
SpringerLink电子期刊
”中,
命中:
3,420
条,耗时:0.0190224 秒
在所有数据库中总计命中:
6,569
条
1.
Constraint
logic
programming
with a relational machine
作者:
Emilio Jesús Gallego Arias
;
James Lipton
;
Julio Mariño
关键词:
Logic
programming
;
Constraint
programming
;
Relation algebra
;
Rewriting
;
Semantics
刊名:Formal Aspects of Computing
出版年:2017
2.
Pairwise saturations in inductive
logic
programming
作者:
Miha Drole
;
Igor Kononenko
关键词:
Inductive
logic
programming
;
Bottom
;
up
;
Saturation
;
Machine learning
刊名:Artificial Intelligence Review
出版年:2017
3.
Proving completeness of
logic
programs with the cut
作者:
Włodzimierz Drabent
关键词:
Logic
programming
;
The cut
;
Operational semantics
;
Program completeness
;
Program correctness
刊名:Formal Aspects of Computing
出版年:2017
4.
Multi-pattern generation framework for
logic
al analysis of data
作者:
Chun-An Chou
;
Tibérius O. Bonates
;
Chungmok Lee…
关键词:
Logic
al analysis of data
;
Combinatorial optimization
;
Column generation
;
Pattern mining
;
Classification
刊名:Annals of Operations Research
出版年:2017
5.
Resilient Dynamic
Programming
作者:
Saverio Caminiti
;
Irene Finocchi
;
Emanuele G. Fusco
;
Francesco Silvestri
关键词:
Dynamic
programming
;
Cache
;
oblivious algorithms
;
Gaussian Elimination Paradigm
;
Memory faults
;
Resilient computing
刊名:Algorithmica
出版年:2017
6.
On the use of stochastic local search techniques to revise first-order
logic
theories from examples
作者:
Aline Paes
;
Gerson Zaverucha
;
Vítor Santos Costa
关键词:
Inductive
logic
programming
;
Theory revision from examples
;
Stochastic local search
刊名:Machine Learning
出版年:2017
7.
An empirical study of on-line models for relational data streams
作者:
Ashwin Srinivasan
;
Michael Bain
关键词:
Inductive
Logic
Programming
;
Data streams
;
Online learning
刊名:Machine Learning
出版年:2017
8.
An Integrated Soft Computing Approach to Hughes Syndrome Risk Assessment
作者:
João Vilhena
;
M. Rosário Martins
;
Henrique Vicente…
关键词:
Antiphospholipid syndrome
;
Systemic autoimmune diseases
;
Artificial neuronal networks
;
Knowledge representation and reasoning
;
Logic
programming
刊名:Journal of Medical Systems
出版年:2017
9.
Using Iterative Deepening for Probabilistic
Logic
Inference
关键词:
Probabilistic
logic
programming
;
Inference engine
;
Cycle handling
;
Iterative deepening
;
ProbLog
刊名:Lecture Notes in Computer Science
出版年:2017
10.
Improving probabilistic inference in graphical models with determinism and cycles
作者:
Mohamed-Hamza Ibrahim
;
Christopher Pal
;
Gilles Pesant
关键词:
Markov
logic
;
Message passing
;
Constraint propagation
;
Statistical relational learning
;
Expectation maximization
刊名:Machine Learning
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(3420)
题名(508)
关键词(666)
文摘(2835)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.