—People within and outside the information visualization community are motivated to create new tools to address their own unique problems of understanding data. However, the tec...
Great stride has been made in psychological research about primitives of visual perception, which is important to computer vision and image processing. In this paper, we propose a...
The genus of a knot or link can be defined via Seifert surfaces. A Seifert surface of a knot or link is an oriented surface whose boundary coincides with that knot or link. Schem...
— We present applications of uncertainty visualization methods to a global meteorological model, allowing better understanding of the composition of the local environment of deve...
Ryan A. Boller, Scott A. Braun, Jadrian Miles, Dav...
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...