We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
Non-negative matrix factorization (NMF) is an excellent tool for unsupervised parts-based learning, but proves to be ineffective when parts of a whole follow a specific pattern. ...
Web-based content management systems present specific presentation and navigational problems for visually impaired users. These systems are widely used in e-learning, ironically t...
Paul Andrew Watters, Antonio Araujo, Armin Hezart,...
This paper presents a unified framework for model-based and model-free reconstruction of people from multiple camera views in a studio environment. Shape and appearance of the rec...
Image fusion is the process of extracting meaningful visual information from two or more images and combinining them to form one fused image. Image fusion is important within many...
Paul R. Hill, David R. Bull, Cedric Nishan Canagar...