ā In this paper, we present a method for extracting consistent foreground regions when multiple views of a scene are available. We propose a framework that automatically identiļ¬...
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...
Rolf M. Koch, Markus H. Gross, Friedrich R. Carls,...
This paper studies the tracking performance of linear time-invariant multi-variable discrete-time systems. The speciļ¬c problem under consideration is to track a multi-tone sinus...
Background: There are several situations in population biology research where simulating DNA sequences is useful. Simulation of biological populations under different evolutionary...