Virtual/mixed reality 3D models of real-world environments can be used to run behavioural and other experiments with real human subjects, replacing the traditional approach where ...
Andrew J. Park, Thomas W. Calvert, Patricia L. Bra...
We propose a convex variational framework to compute high resolution images from a low resolution video. The image formation process is analyzed to provide to a well designed model...
Markus Unger, Thomas Pock, Manuel Werlberger, Hors...
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios whi...
Variational models for image segmentation have many applications, but can be slow to compute. Recently, globally convex segmentation models have been introduced which are very rel...