We describe a method for learning formulas in firstorder logic using a brute-force, smallest-first search. The method is exceedingly simple. It generates all irreducible well-form...
This contribution investigates semi-blind adaptive spatial filtering or equalisation for multiple-input multiple-output (MIMO) systems that employ high-throughput quadrature amplit...
We address in this paper the issue of computing diffuse global illumination solutions for animation sequences. The principal difficulties lie in the computational complexity of gl...
It has been known how to use computational fixed point theorems to verify existence and uniqueness of a true solution to a nonlinear system of equations within a small region abou...
Abstract. This paper presents a novel perspective to the use of multiobjective optimization and in particular evolutionary multi-objective optimization (EMO) as a measure of comple...