Visualization and differentiation of proteins in tissue are problems of increasing interest in computational systems biology, bioinformatics, and image processing. A platform for ...
Betsy Williams, Shannon Cornett, Benoit M. Dawant,...
Long-duration tracking of general targets is quite challenging for computer vision, because in practice target may undergo large uncertainties in its visual appearance and the unc...
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...
We discuss geometric positioning, highlighting of visited nodes and user defined highlighting that form the algorithm animation facilities in the Grrr graph rewriting programming l...
The designs that have been stored in early days are often used as a reference when textile designs are created. To effectively use these resources, a wellequipped design database ...