Abstract: Multimedia databases are increasingly common in science, business, entertainment and many other applications. Their size and high dimensionality of features are major cha...
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
On clinical applications, many magnetic resonance (MR) Images obtained directly by the instruments are not satisfied by doctors. For example, there are some noises and poor contra...
Di Jia, Fangfang Han, Jinzhu Yang, Yifei Zhang, Da...
Model-driven engineering is a powerful approach to build large-scale applications. However, an application’s metamodel often remains static after the initial development phase an...
Service-oriented systems are becoming more and more nodes in a digital, dynamic ecosystem requiring the identification and establishment of flexible, spontaneous collaboration act...