This paper presents a vision-based localization approach for an underwater robot in a structured environment. The system is based on a coded pattern placed on the bottom of a water...
Marc Carreras, Pere Ridao, Joan Batlle Grabulosa, ...
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper,...
We present a general method for matching segmented parts of objects by energy minimization. The energy is designed in order to cope with possible imperfections of the compared segm...
We present a method for discovering patterns of activation observed through fMRI in experiments with multiple stimuli/tasks. We introduce an explicit parameterization for the profi...
Danial Lashkari, Ed Vul, Nancy Kanwisher, Polin...
In this paper, generalized granulometric size distributions and size histograms (a.k.a `pattern spectra') are developed using generalized multiscale lattice operators of the ...
Anastasios D. Doulamis, Nikolaos D. Doulamis, Petr...