In this paper we propose a new stabilized three-field formulation applied to the advection-diffusion equation. Using finite elements with SUPG stabilization in the interior of the...
In this paper, we first introduce a 3D morphing method for landmark-based volume deformation, using various scattered data interpolation schemes. Qualitative and speed comparisons...
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
In this article we show how an active stereo camera head can be made to autonomously learn to fixate objects in space. During fixation, the system performs an initial and a corre...
A pattern database is a lookup table that stores an exact evaluation function for a relaxed search problem, which provides an admissible heuristic for the original search problem....