The application of hardware-parameterized models to distributed systems can result in omission of key bottlenecks such as the full cost of inter-node communication in a shared mem...
In this paper, we introduce two new formulations for multi-class multi-kernel relevance vector machines (mRVMs) that explicitly lead to sparse solutions, both in samples and in nu...
Theodoros Damoulas, Yiming Ying, Mark A. Girolami,...
In this paper, we describe our approach and results for high-level feature extraction task (HLF) at TRECVID2008. This year, our focus is to develop a framework which fuses a numbe...
Let Φ be a uniformly distributed random k-SAT formula with n variables and m clauses. We prove that the Walksat algorithm from [16, 17] finds a satisfying assignment of Φ in pol...
In translating HPF programs, a compiler has to generate local iteration and communication sets. Apart from local enumeration, local storage compression is an issue, because in HPF ...