Sciweavers

4287 search results - page 353 / 858
» Minimal Mental Models
Sort
View
PSYCHNOLOGY
2008
74views more  PSYCHNOLOGY 2008»
15 years 6 months ago
The Use of Virtual and Mixed Reality Environments for Urban Behavioural Studies
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...
DAGM
2010
Springer
15 years 5 months ago
A Convex Approach for Variational Super-Resolution
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...
MEMOCODE
2010
IEEE
15 years 5 months ago
Monitoring temporal SystemC properties
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...
Deian Tabakov, Moshe Y. Vardi
JIPS
2010
107views more  JIPS 2010»
15 years 1 months ago
Incremental Model-based Test Suite Reduction with Formal Concept Analysis
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...
Pin Ng, Richard Y. K. Fung, Ray W. M. Kong
JSCIC
2010
231views more  JSCIC 2010»
15 years 1 months ago
Geometric Applications of the Split Bregman Method: Segmentation and Surface Reconstruction
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...
Tom Goldstein, Xavier Bresson, Stanley Osher