In this paper, we present a method for automatically creating a 3D model of a scene from a set of range images obtained from unknown viewpoints. Existing 3D modeling approaches re...
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
A new algorithm for the design of complex features, to be used in the discriminant saliency approach to object classification, is presented. The algorithm consists of sequential r...
We propose a new color de-quantizing method for paletted images based on maximizing the sparseness of the overcomplete wavelet analysis of the estimation within the consistency se...
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...
Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Ma...