Evolutionary algorithms (EAs) produce a vast amount of data by recurring processes, e.g., selection, recombination, or mutation, that work on populations of solutions for a speci...
This paper proposes a novel approach to the visualization of complex, but interrelated, sets of information to ease user cognition. Principally, it explores the potential of provi...
Flow visualization in 3D is challenging due to perceptual problems such as occlusion, lack of directional cues, lack of depth cues, and visual complexity. In this paper we present...
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...
Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...