搜索页_+automatic+verification+

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

GSW全文库(1)	CNKI会议论文(16)	CNKI期刊论文0611(19)	标准(1)
Springer电子图书(18)	CNKI学位论文(9346)	知网期刊论文(6078)

在“SpringerLink电子期刊”中，命中：1,236条，耗时：0.0119944 秒

在所有数据库中总计命中：15,479条

1. Influence of a clutch control current profile to improve shift quality for a wheel loader automatic transmission

作者： Joo-young Oh ; Jin-young Park ; Jung-woo Cho…

关键词：Wheel Loader ; Automatic transmission ; Clutch control current profile ; Shift shock ; Jerk

刊名：International Journal of Precision Engineering and Manufacturing

出版年：2017

2. Automated kinship verification and identification through human facial images: a survey

作者： Mohammed Almuashi ; Siti Zaiton Mohd Hashim…

关键词：Kinship verification ; Kinship recognition ; Discriminative features (resemblance) ; Kinship problems and challenges ; Deep learning

刊名：Multimedia Tools and Applications

出版年：2017

3. 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

4. A Two-Way Path Between Formal and Informal Design of Embedded Systems

关键词：Simulink ; HCSP ; UTP ; Verification ; Hybrid systems

刊名：Lecture Notes in Computer Science

出版年：2017

5. Development of a feature-based open soft-CNC system

作者： Kamran Latif ; Yusri Yusof ; Aydin Nassehi…

关键词：CNC ; STEP ; NC ; Interpreter ; Simulation ; Monitoring ; Open architecture controller

刊名：The International Journal of Advanced Manufacturing Technology

出版年：2017

6. Semi-automatic Speaker Verification System Based on Analysis of Formant, Durational and Pitch Characteristics

关键词：Formant frequencies ; Phone durations ; Pitch characteristics ; Speaker verification ; Feature selection

刊名：Lecture Notes in Computer Science

出版年：2016

7. Verifying Parametric Thread Creation

刊名：Lecture Notes in Computer Science

出版年：2017

8. Speech Features Evaluation for Small Set Automatic Speaker Verification Using GMM-UBM System

关键词：Speaker recognition ; Speaker verification ; Gaussian mixture model ; GMM ; UBM system ; Mel frequency cepstral coefficients ; Speech features ; Small speaker set ; Speech processing

刊名：Lecture Notes in Computer Science

出版年：2016

9. MARVEL: A Large-Scale Image Dataset for Maritime Vessels

刊名：Lecture Notes in Computer Science

出版年：2017

10. Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms

刊名：Lecture Notes in Computer Science

出版年：2017

按检索点细分(1236)

题名(132)

关键词(55)

文摘(951)

按出版年细分(1236)

2017年(8)

2016年(86)

2015年(93)

2014年(107)

2013年(99)

2012年(91)

2011年(31)

2010年(51)

2009年(72)

2008年(66)

2007年(101)

2006年(114)

2005年(147)

2004年(51)

2003年(21)

2002年(30)

2001年(17)

2000年(22)

2000年及以前(29)