"Martin Fossum"@cs .