搜索页_+state+machines

设为首页

收藏本站

网站地图 | English | 公务邮箱

读者指南

学术客户端

NSTL服务站

科技查新

外文资源

中国地质文献-英文(2)	Springer电子图书(48)	ProQuest学位论文(325)	Elsevier电子期刊(1691)
Wiley电子期刊(12)	SpringerLink电子期刊(2150)	NATURE电子期刊(133)	ACS电子期刊(59)

在“SpringerLink电子期刊”中，命中：2,150条，耗时：0.0639687 秒

在所有数据库中总计命中：4,420条

1. Model checking of state-rich formalism by linking to \(CSP\,\Vert \,B\)

作者： Kangfeng Ye…

关键词：\(CSP \parallel B\) ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

2. An Adaptive Non-symmetric Fuzzy Activation Function-Based Extreme Learning Machines for Face Recognition

作者： Tripti Goel ; Vijay Nehra…

关键词：Extreme learning machine ; Face recognition ; Fuzzy activation function ; Single hidden layer feed forward network

刊名：Arabian Journal for Science and Engineering

出版年：2017

3. Assessment of prediction ability for reduced probabilistic neural network in data classification problems

作者： Maciej Kusy ; Jacek Kluska

关键词：Probabilistic neural networkk ; Means clustering ; Support vector machines ; Medical data classification ; Global performance index ; Accuracy ; Sensitivity ; Specificity

刊名：Soft Computing

出版年：2017

4. Feature weighting and SVM parameters optimization based on genetic algorithms for classification problems

作者： Anh Viet Phan ; Minh Le Nguyen ; Lam Thu Bui

关键词：Genetic algorithms (GAs) ; Support vector machines (SVMs) ; Classification ; Feature weighting ; Feature selection

刊名：Applied Intelligence

出版年：2017

5. Hardness of Deriving Invertible Sequences from Finite State Machines

刊名：Lecture Notes in Computer Science

出版年：2017

6. A formal modeling and analysis approach for access control rules, policies, and their combinations

作者： Vahid R. Karimi ; Paulo S. C. Alencar…

关键词：Access control (AC) ; XACML ; AC combining algorithms ; Modeling ; Analysis

刊名：International Journal of Information Security

出版年：2017

7. An Approximate Support Vector Machines Solver with Budget Control

关键词：SVM ; Budget ; Coverage ; Sparsity ; Convex optimization ; Online learning

刊名：Lecture Notes in Computer Science

出版年：2017

8. Multimodal medical image retrieval system

作者： Ivan Kitanovski ; Gjorgji Strezoski ; Ivica Dimitrovski…

关键词：Medical image retrieval ; Retrieval in medical texts ; Image modality classification ; Visual image descriptors

刊名：Multimedia Tools and Applications

出版年：2017

9. A novel fuzzy K-nearest neighbor inference model with differential evolution for spatial prediction of rainfall-induced shallow landslides in a tropical hilly area using GIS

作者： Dieu Tien Bui ; Quoc Phi Nguyen ; Nhat-Duc Hoang ; Harald Klempe

关键词：Landslide ; Fuzzy k ; nearest neighbor ; Differential evolution ; GIS ; Quy Hop ; Vietnam

刊名：Landslides

出版年：2017

10. A framework for compositional nonblocking verification of extended finite-state machines

作者： Sahar Mohajerani ; Robi Malik ; Martin Fabian

关键词：Extended finite ; state machines ; Model checking ; Nonblocking ; Compositional verification ; Supervisory control theory

刊名：Discrete Event Dynamic Systems

出版年：2016

按检索点细分(2150)

题名(249)

作者(2)

关键词(172)

文摘(1749)

常见问题　|　交通位置　|　联系我们　|　OA远程办公

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

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