Guiding image segmentation with edge information is an often employed strategy in low level computer vision. To improve the trade-off between the sensitivity of homogeneous region...
Christopher M. Christoudias, Bogdan Georgescu, Pet...
Exponential Family PSR (EFPSR) models capture stochastic dynamical systems by representing state as the parameters of an exponential family distribution over a shortterm window of...
Large efforts have been made for general applications of content-based image retrieval (CBIR). Established CBIRsystems globally evaluate color, texture, and also shape for retriev...
Thomas Martin Lehmann, Berthold B. Wein, Daniel Ke...
This case study compares students' learning experience and outcomes in the lecture and online versions of a first-year introductory computing course offered at the Department...
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
Magnus O. Myreen, Konrad Slind, Michael J. C. Gord...