设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(25)
CNKI会议论文(1)
CNKI学位论文(1568)
CNKI期刊论文0611(5)
知网期刊论文(548)
在“
Elsevier电子期刊
”中,
命中:
293
条,耗时:小于0.01 秒
在所有数据库中总计命中:
2,147
条
1.
Horn clause verification with convex polyhedral abstraction and
tree
automata
-based refinement
作者:
Bishoksan Kafle
a
;
kafle@ruc.dk
;
John P. Gallagher
a
;
b
;
jpg@ruc.dk
关键词:
Horn clauses
;
Abstract interpretation
;
Finite
tree
automata
;
Tree
automata
determinisation
刊名:Computer Languages, Systems & Structures
出版年:2017
2.
The emptiness problem for
tree
automata
with at least one global disequality constraint is NP-hard
作者:
P.-C. Hé
;
am
a
;
pheam@femto-st.fr" class="auth_mail" title="E-mail the corresponding author
;
V. Hugot
b
;
O. Kouchnarenko
a
关键词:
Formal languages
;
Tree
automata
;
Algorithms
刊名:Information Processing Letters
出版年:2017
3.
Counting branches in
tree
s using games
作者:
Arnaud Carayol
a
;
1
;
Arnaud.Carayol@univ-mlv.fr
;
Olivier Serre
b
;
2
;
Olivier.Serre@cnrs.fr
关键词:
Automaton on infinite
tree
s
;
Two-player game
;
Cardinality constraint
;
Topologically large set
刊名:Information and Computation
出版年:2017
4.
Model measuring for discrete and hybrid systems
作者:
Thomas A. Henzinger
a
;
Jan Otop
a
;
b
;
jotop@cs.uni.wroc.pl
关键词:
Quantitative model checking
;
Weighted
automata
;
Parametric hybrid
automata
;
Model measuring
刊名:Nonlinear Analysis: Hybrid Systems
出版年:2017
5.
Termination criteria for
tree
automata
completion
作者:
Thomas Genet
1
;
genet@irisa.fr" class="auth_mail" title="E-mail the corresponding author
关键词:
Term rewriting
;
Regular
tree
languages
;
Tree
automata
;
Regularity preservation
;
Tree
automata
completion
;
Analysis of functional programs
刊名:Journal of Logical and Algebraic Methods in Programming
出版年:2016
6.
Quantitative simulations by matrices
作者:
Natsuki Urabe
;
urabenatsuki@is.s.u-tokyo.ac.jp
;
Ichiro Hasuo
ichiro@is.s.u-tokyo.ac.jp
关键词:
Kleisli category
;
Simulation
;
Language inclusion
;
Weighted automaton
;
Tropical semiring
刊名:Information and Computation
出版年:2017
7.
Spatial and temporal dimensions of land use change in cross border region of Luxembourg. Development of a hybrid approach integrating GIS, cellular
automata
and decision learning
tree
models
作者:
Reine Maria Basse
a
;
reine-maria.basse@liser.lu" class="auth_mail" title="E-mail the corresponding author
;
Omar Charif
b
;
oacharif@ucalgary.ca" class="auth_mail" title="E-mail the corresponding author
;
Katalin Bó
;
dis
c
;
katalin.bodis@geography.hu" class="auth_mail" title="E-mail the corresponding author
关键词:
Cellular
automata
;
Decision learning
tree
;
GIS
;
Land use
;
Boundaries
;
Discontinuity
;
Accessibility
刊名:Applied Geography
出版年:2016
8.
Reasoning in Fuzzy Description Logics using
Automata
作者:
Stefan Borgwardt
a
;
stefborg@tcs.inf.tu-dresden.de" class="auth_mail" title="E-mail the corresponding author
;
Rafael Peñ
;
aloza
b
;
rafael.penaloza@unibz.it" class="auth_mail" title="E-mail the corresponding author
关键词:
Fuzzy description logics
;
Reasoning
;
Tree
automata
;
Weighted
automata
刊名:Fuzzy Sets and Systems
出版年:2016
9.
Computations by fly-
automata
beyond monadic second-order logic
作者:
Bruno Courcelle
;
courcell@labri.fr" class="auth_mail" title="E-mail the corresponding author
;
Irè
;
ne Durand
idurand@labri.fr" class="auth_mail" title="E-mail the corresponding author
关键词:
Monadic second-order logic
;
Graph algorithms
;
Infinite
automata
;
Parameterized algorithms
;
Tree
-width
;
Clique-width
;
Dynamic programming
;
Model-checking
;
Data complexity
;
Algorithmic meta-theorems
刊名:Theoretical Computer Science
出版年:2016
10.
Model checking computation
tree
logic over finite lattices
作者:
Haiyu Pan
a
;
b
;
phyu76@126.com" class="auth_mail" title="E-mail the corresponding author
;
Yongming Li
b
;
liyongm@snnu.edu.cn" class="auth_mail" title="E-mail the corresponding author
;
Yongzhi Cao
c
;
d
;
caoyz@pku.edu.cn" class="auth_mail" title="E-mail the corresponding author
;
Zhanyou Ma
b
;
mazhany@126.com" class="auth_mail" title="E-mail the corresponding author
关键词:
Model checking
;
Computation
tree
logic
;
Lattice
;
Weighted
automata
刊名:Theoretical Computer Science
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(293)
题名(78)
关键词(127)
文摘(224)
按出版年细分(293)
2027年及以后(4)
2017年(5)
2016年(14)
2015年(4)
2013年(8)
2012年(15)
2011年(15)
2010年(16)
2009年(20)
2008年(20)
2007年(13)
2006年(26)
2005年(23)
2004年(8)
2003年(21)
2002年(17)
2001年(13)
2000年(7)
2000年及以前(44)
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
.