设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
SpringerLink电子期刊(60)
ProQuest学位论文(2)
Elsevier电子期刊(31)
在“
Elsevier电子期刊
”中,
命中:
31
条,耗时:0.0139928 秒
在所有数据库中总计命中:
93
条
1.
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
2.
Weighted
restarting automata and pushdown relations
作者:
Qichao Wang
wang@theory.informatik.uni-kassel.de" class="auth_mail" title="E-mail the corresponding author
;
Friedrich Otto
otto@theory.informatik.uni-kassel.de" class="auth_mail" title="E-mail the corresponding author
关键词:
Weighted
restarting
automaton
;
Restarting transducer
;
Pushdown relation
;
Almost-realtime pushdown relation
刊名:Theoretical Computer Science
出版年:2016
3.
Finite automata approach to observability of switched Boolean control networks
作者:
Kuize Zhang
a
;
b
;
zkz0017@163.com" class="auth_mail" title="E-mail the corresponding author
;
Lijun Zhang
c
;
a
;
zhanglj7385@nwpu.edu.cn" class="auth_mail" title="E-mail the corresponding author
;
Lihua Xie
d
;
elhxie@ntu.edu.sg" class="auth_mail" title="E-mail the corresponding author
关键词:
Switched Boolean control network
;
Observability
;
Weighted
pair graph
;
Finite
automaton
;
Formal language
;
Semi-tensor product of matrices
刊名:Nonlinear Analysis: Hybrid Systems
出版年:2016
4.
Bisimulations for
weighted
automata over an additively idempotent semiring
作者:
Nada Damljanovi膰
a
;
nada.damljanovic@ftn.kg.ac.rs" class="auth_mail
;
Miroslav 膯iri膰
b
;
miroslav.ciric@pmf.edu.rs" class="auth_mail
;
Jelena Ignjatovi膰
b
;
jelena.ignjatovic@pmf.edu.rs" class="auth_mail
关键词:
Weighted
automaton
;
Additively idempotent semiring
;
Boolean matrix
;
Simulation
;
Bisimulation
;
Factor
weighted
automaton
刊名:Theoretical Computer Science
出版年:15 May 2014
5.
Suggestions for automatic quantitation of endoscopic image analysis to improve detection of small intestinal pathology in celiac disease patients
作者:
Edward J. Ciaccio
a
;
ciaccio@columbia.edu" class="auth_mail" title="E-mail the corresponding author
;
Govind Bhagat
a
;
b
;
Suzanne K. Lewis
a
;
Peter H. Green
a
关键词:
Celiac disease
;
Cellular
automaton
;
Endoscopy
;
Image processing
;
Polling
刊名:Computers in Biology and Medicine
出版年:2015
6.
Rigorous approximated determinization of
weighted
automata
作者:
Benjamin Aminof
a
;
benj@cs.huji.ac.il
;
Orna Kupferman
a
;
orna@cs.huji.ac.il
;
Robby Lampert
b
;
robby.lampert@mobileye.com
关键词:
Weighted
automata
;
Determinization
;
Approximation
刊名:Theoretical Computer Science
出版年:2013
7.
Brzozowski type determinization for fuzzy automata
作者:
Zorana Jan膷i膰
zoranajancic329@gmail.com" class="auth_mail
;
Miroslav 膯iri膰
;
miroslav.ciric@pmf.edu.rs" class="auth_mail
关键词:
Fuzzy automata
;
Fuzzy languages
;
Crisp-deterministic fuzzy automata
;
Determinization
;
Minimal automata
;
Nerode
automaton
;
Complete residuated lattices
刊名:Fuzzy Sets and Systems
出版年:16 August 2014
8.
An improved algorithm for determinization of
weighted
and fuzzy automata
作者:
Zorana Janč
;
ić
;
a
;
zoranajancic329@gmail.com
;
Jelena Ignjatović
;
a
;
jejaign@yahoo.com
;
Miroslav Ć
;
irić
;
;
a
;
mciric@pmf.ni.ac.rs
关键词:
Weighted
automaton
;
Strong bimonoid
;
Fuzzy
automaton
;
Formal power series
;
Determinization
;
Nerode
automaton
刊名:Information Sciences
出版年:2011
9.
Real-time information feedback based on a sharp decay
weighted
function
作者:
Bokui Chen
;
Chuanfei Dong
;
Yike Liu
;
Wei Tong
;
Wenyao Zhang
;
Jie Liu
;
Binghong Wang
关键词:
Traffic flow
;
Exponential decay
weighted
function
;
Cellular
automaton
model
;
Intelligent transportation system
刊名:Computer Physics Communications
出版年:2012
10.
Determinization of
weighted
finite automata over strong bimonoids
作者:
Miroslav Ć
;
irić
;
Manfred Droste
;
Jelena Ignjatović
;
Heiko Vogler
关键词:
Weighted
automaton
;
Strong bimonoid
;
Formal power series
;
Determinization
;
Nerode
automaton
;
Myhill
automaton
;
Run
automaton
刊名:Information Sciences
出版年:2010
1
2
3
4
按检索点细分(31)
关键词(11)
文摘(23)
按出版年细分(31)
2017年(1)
2016年(2)
2015年(1)
2013年(2)
2012年(2)
2011年(3)
2010年(4)
2009年(3)
2008年(1)
2007年(2)
2006年(1)
2004年(1)
2003年(2)
2002年(1)
2001年(1)
2000年及以前(4)
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
.