Department of Computer and Information Science, Norwegian University of Science and Technology, N-7491 Trondheim, Norway.|Department of Computer and Information Science, Norwegian University of Science and Technology, N-7491 Trondheim, Norway.|Department of Computer and Information Science, Norwegian University of Science and Technology, N-7491 Trondheim, Norway.