QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 发表日期：2013    内容类型：期刊论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 A Behavioral Distance for Fuzzy-Transition Systems 期刊论文 ieee transactions on fuzzy systems, 2013 Cao, Yongzhi; Sun, Sherry X.; Wang, Huaiqing; Chen, Guoqing 收藏  |  浏览/下载：3/0  |  提交时间：2015/11/10 Behavioral distance  bisimulation  fuzzy automaton  fuzzy-transition system (FTS)  nonexpansiveness  pseudo-ultrametric  DISCRETE-EVENT SYSTEMS  PROBABILISTIC PROCESSES  DECENTRALIZED CONTROL  BISIMULATION  AUTOMATA  WORDS  HOMOMORPHISMS  METRICS  MODEL   Probabilistic automata for computing with words 期刊论文 journal of computer and system sciences, 2013 Cao, Yongzhi; Xia, Lirong; Ying, Mingsheng 收藏  |  浏览/下载：6/0  |  提交时间：2015/11/10 Computing with words  Extension principle  Probabilistic automata  Probabilistic grammars  FUZZY-LOGIC  NEURAL NETWORKS  MODEL  MANIPULATION  PERCEPTIONS  LANGUAGES   model checking conditional csl for continuous-time markov chains 期刊论文 Information Processing Letters, 2013, 卷号: 113, 期号: 1-2, 页码: 44-50 Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun 收藏  |  浏览/下载：17/0  |  提交时间：2013/09/17 Automata theory  Formal methods  Stochastic systems   State succinctness of two-way finite automata with quantum and classical states 期刊论文 Theoretical Computer Science, 2013, 卷号: 499, 页码: 98-112 Zheng, Shenggen (1); Qiu, Daowen (1); Gruska, Jozef (3); Li, Lvzhou (1); Mateus, Paulo (2) 收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16 Computing models  Quantum finite automata  State complexity  Succinctness   BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA 期刊论文 LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 卷号: 9, 期号: 2 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming 收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16 PCTL  Probabilistic automata  Characterization  Bisimulation