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...
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
Background: In recent years protein structure prediction methods using local structure information have shown promising improvements. The quality of new fold predictions has risen...
Predicting the interests of a user in information is an important process in personalized information systems. In this paper, we present a way to create prediction engines that al...
Mark van Setten, Mettina Veenstra, Anton Nijholt, ...
—Writing correct multithreaded programs is difficult. Existing tools for finding bugs in multithreaded programs primarily focus on finding generic concurrency problems such as...