搜索页_+finite+state+machine+

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

在“Springer”中，命中：887条，耗时：0.1719485 秒

1.Intuitionistic fuzzy finite switchboard state machines

作者：Young Bae Jun (1) ybjun@gsnu.ac.kr

关键词：Key words and phrases Intuitionistic fuzzy finite (switchboard) state machine ; commutative intuitionistic fuzzy finite state machine ; (strong) homomorphism

刊名：Journal of Applied Mathematics and Computing

出版时间：January 2006

出版年：2006

2.Intuitionistic fuzzy finite switchboard state machines

作者：Young Bae Jun (1) ybjun@gsnu.ac.kr

关键词：Key words and phrases Intuitionistic fuzzy finite (switchboard) state machine ; commutative intuitionistic fuzzy finite state machine ; (strong) homomorphism

刊名：Journal of Applied Mathematics and Computing

出版时间：January 2006

出版年：2006

3.Learning finite-state models for machine translation

作者：Francisco Casacuberta and Enrique Vidal

关键词：Machine translation ; Stochastic finite ; state transducers ; Grammatical inference

刊名：Machine Learning

出版时间：January, 2007

出版年：2007

4.On the class of L*-language formulas that specify finite-memory finite-state machines

作者：A. N. Chebotarev

关键词：specification language L* ; ∃ ; formula ; bi ; infinite ω ; word ; Σ ; automaton ; finite ; memory finite ; state machine ; k ; separability

刊名：Cybernetics and Systems Analysis

出版时间：January, 2010

出版年：2010

5.On deriving test suites for nondeterministic finite state machines with time-outs

作者：N. V. Shabaldina (1) NataliaMailBox@mail.ru
R. F. Galimullin (1) nihilkhaos@gmail.com

关键词：nondeterministic finite state machines with time ; outs – ; a timed input seguence – ; nonseparability – ; a separating sequence – ; mutation machine – ; test suites

刊名：Programming and Computer Software

出版时间：June 2012

出版年：2012

6.Formal Modeling of RESTful Systems Using Finite-State Machines

作者：Ivan Zuzak (1) izuzak@gmail.com
Ivan Budiselic (1) ibudiselic@gmail.com
Goran Delac (1) gdelach@gmail.com

关键词：representational state transfer – ; World Wide Web – ; software architectural styles – ; formal model – ; finite ; state machines – ; hypermedia

刊名：Lecture Notes in Computer Science

出版时间：2011

出版年：2011

7.Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines

作者：Christoph Meinel and Thorsten Theobald

关键词：ordered binary decision diagram ; OBDD ; finite state machine ; state encoding ; local transformation

刊名：Formal Methods in System Design

出版时间：2001

出版年：2001

8.Graded State Machines: The Representation of Temporal Contingencies in Simple Recurrent Networks

作者：Servan Schreiber ; David ; Cleeremans ; Axel ; McClelland ; James L.

关键词：Key words Graded state machines ; finite state automata ; recurrent networks ; temporal contingencies ; prediction task

刊名：Machine Learning

出版时间：1991

出版年：1991

9.Artificial emotional model based on finite state machine

作者：Qing-mei Meng (1)
Wei-guo Wu (1) wuwg666@yahoo.com.cn

关键词：Key words finite state machine ; artificial emotion model ; Markov chain ; simulation

刊名：Journal of Central South University of Technology

出版时间：October 2008

出版年：2008

10.Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies

作者：Ralf Reussner

关键词：software component protocols ; finite state machine extension ; decidable inclusion check ; interoperability ; substitutability

刊名：Lecture Notes in Computer Science

出版时间：2002

出版年：2002

1

2

3

4

5

6

7

8

9

按检索点细分(887)

题名(93)

关键词(128)

文摘(762)

按出版年细分(887)

2000年及以前(139)

2001年(36)

2002年(39)

2003年(58)

2004年(69)

2005年(91)

2006年(79)

2007年(88)

2008年(81)

2009年(62)

2010年(49)

2011年(63)

2012年(33)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700