For multi-view face alignment (MVFA), the non-linear variation of shape and texture, and the self-occlusion of facial feature points caused by view change are the two major difficu...
Domain specific languages (DSLs) play a cornerstone Model-Driven Software Development. The abstract syntax of a DSL is usually defined by a metamodel, while inplace model transf...
—Human movement models often divide movements into parts. In walking the stride can be segmented into four different parts, and in golf and other sports, the swing is divided int...
Eric Guenterberg, Hassan Ghasemzadeh, Roozbeh Jafa...
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
In this paper, a fuzzy wavelet neural network model is proposed for system identification problems. The proposed model is obtained from the traditional Takagi-Sugeno-Kang (TSK) fu...