Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
This paper presents a SVM-based prediction approach for constructing personal recommendation system for TV programs. We have applied Support Vector Machine (SVM) to personal predi...
— In this paper we use bilevel programming to find the maximum difference between a reference controller and a low-complexity controller in terms of the infinitynorm difference...
In this research, we investigate and address the challenges of asymmetry in High-End Computing (HEC) systems comprising heterogeneous architectures with varying I/O and computation...
Web and peer-to-peer systems have emerged as popular areas in distributed computing, and their integrated usage permits the benefits of both to be exploited. While much work in th...