This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
In this paper, we propose a novel algorithm for directional temporal texture synthesis. The generated temporal textures can move in any user-specified direction at run time, while...
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
Michael Leuschel, Dominique Cansell, Michael J. Bu...
This paper introduces a novel and efficient algorithm for reconstructing the 3D shapes of tumors from a set of 2D bioluminescence images which are taken by the same camera but aft...
Junzhou Huang, Xiaolei Huang, Dimitris N. Metaxas,...
Colorizing grayscale video is a useful technique in scientific computing visualization and entertainment. In this paper, we introduce a method to transfer color from a reference i...