Browsing School of Electronic Engineering and Computer Science by Issue Date

Replicated Secure Shared Objects for Groupware Applications

Rowley, Andrew; Dollimore, Jean (1995)

Full abstraction for PCF

Abramsky, S; Jagadeesan, R; Malacaria, P (2000-12-15)

A novel hexagonal search algorithm for fast block matching motion estimation

Hamosfakidis, A; Paker, Y (2002-06)

Internet packet traffic congestion

Arrowsmith, DK; Mondragon, RJ; Pitts, JM; Woolf, M (2003)

Count three for wear able computers

Woolley, S; Cross, J; Ro, S; Foster, R; Reynolds, G; Baber, C; Bristow, H; Schwirtz, A (2004-02-01)

A description of 'ubiquitous computer' is presented. Ubiquitous computers imply portable computers embedded into everyday objects, which would replace personal computers. Ubiquitous computers can be mapped into a three-tier ...

Interaction between high-level and low-level image analysis for semantic video object extraction

Cavallaro, A; Ebrahimi, T (2004-06-01)

Structural constraints in complex networks

MONDRAGON-CEBALLOS, RJ; Zhou, S (2007-06)

On polar polytopes and the recovery of sparse representations

Plumbley, MD (2007-09)

Theorems on positive data: on the uniqueness of NMF.

Laurberg, H; Christensen, MG; Plumbley, MD; Hansen, LK; Jensen, SH (2008)

We investigate the conditions for which nonnegative matrix factorization (NMF) is unique and introduce several theorems which can determine whether the decomposition is in fact unique or not. The theorems are illustrated ...

Revisiting the Issues On Netflow Sample and Export Performance

Haddadi, H; Landa, R; Moore, AW; Bhatti, S; Rio, M; Che, XH (2008)

Classification of the asymptotic Proof Complexity of Polynomial Calculus

RIIS, SM (Springer, 2008)

We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well as for Polynomial Calculus, (PC) has four ...

Macro-cuboid based probabilistic matching for lip-reading digits

Pachoud, S; Gong, S; Cavallaro, A (2008)

Generalized face super-resolution

Jia, K; Gong, SG (2008-06)

An adaptive stereo basis method for convolutive blind audio source separation

Jafari, MG; Vincent, E; Abdallah, SA; Plumbley, MD; Davies, ME (2008-06)

A Probabilistic model of meetings that combines words and discourse features

Dowman, M; Savova, V; Griffiths, TL; Kording, KP; Tenenbaum, JB; Purver, M (2008-09)

Wireless body sensor networks for health-monitoring applications

Hao, Y; Foster, R (2008-11)

Efficient Bayesian inference for harmonic models via adaptive posterior factorization

Vincent, E; Plumbley, MD (2008-12)

FULL ABSTRACTION FOR NOMINAL GENERAL REFERENCES

Tzevelekos, N (2009)

Multi-cell Non-cooperative Power Allocation Game in Relay Based OFDMA Systems

Xiao, L; Cuthbert, L (2009)

Measuring the likelihood of models for network evolution

Clegg, RG; Landa, R; Haddadi, H; Rio, M (2009)