Titlebook: Neural Information Processing; 24th International C Derong Liu,Shengli Xie,El-Sayed M. El-Alfy Conference proceedings 2017 Springer Interna

FRET

Bo Zhang,Shuqiu Li,Liping Huang,Yongjian YangIn current modelling languages, transitions are usually specified as updates of the system’s variables to be performed when certain conditions are satisfied. However, such a low-level representation makes the description of complex transformations difficult, in particular in the presence of structur

graphy

Yi-Ning Xu,Lei Xu,Ling Huang,Chang-Dong Wanges have traditionally been used to tackle complexity, but with increasing heterogeneity of the subsystems, it becomes impossible to find appropriate modelling languages and tools to specify and analyse the system as a whole..Co-simulation is a technique to combine multiple models and their simulator

摊位

Spyros Boukoros,Anupiya Nugaliyadde,Angelos Marnerides,Costas Vassilakis,Polychronis Koutsakis,Kok Wmunicating Sequential Processes) process algebra to model the system as well as some aspects of the user, and PAT (Process Analysis Toolkit) to perform formal verification. We illustrate our methodology on Duolingo, a very popular application for language learning. Two kinds of data are considered:

拉开这车床

Ratchakoon Pruengkarn,Kok Wai Wong,Chun Che Funglarge models out of submodels, each expressed in the most appropriate formalism. One aspect of this flexibility is the modularity of the co-simulation framework, which allows developers to replace each sub-model with a new version, possibly based on a different formalism or a different simulator, wi

COST

cognizant

Xiao-Fang Chen,Ying-Can Qian,Ya-Lin Wangrded on video or low-level sensors (accelerometer, gyroscope, etc.) HAR has important applications in medical care and entertainment. In this paper, we address sensor-based HAR, because it could be deployed on a smartphone and eliminates the need to use additional equipment. Using machine learning m

AVERT

Cheng Liu,Wen-Ming Cao,Chu-Tao Zheng,Hau-San Wongrded on video or low-level sensors (accelerometer, gyroscope, etc.) HAR has important applications in medical care and entertainment. In this paper, we address sensor-based HAR, because it could be deployed on a smartphone and eliminates the need to use additional equipment. Using machine learning m

生气的边缘

Xiaoya Ren,Guotao Hui,Yanhong Luo,Yingchun Wang,Dongsheng Yang,Ge Qitors and the job satisfaction level of Software Engineers. The author organized the questionnaire that included questions addressing all the metrics identified during GQM activities. Gathered metrics are analyzed on being correlated with workplace contentment of survived developers. The author found

Permanent

Mingjun Zhan,Bo Lirded on video or low-level sensors (accelerometer, gyroscope, etc.) HAR has important applications in medical care and entertainment. In this paper, we address sensor-based HAR, because it could be deployed on a smartphone and eliminates the need to use additional equipment. Using machine learning m

流利圆滑

When Shen,Zhihua Wei,Zhiyuan Zhoumply memorizing the concepts. The source codes are downloadable from the book website. The book has three parts: software testability, fault localization, and test data generation...Part I. describes unit and acceptance tests and proposes a new method called testability-driven development (TsDD) in