Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
We present a novel multi-view denoising algorithm. Our
algorithm takes noisy images taken from different viewpoints
as input and groups similar patches in the input images using
...
Hailin Jin, Li Zhang, Shree K. Nayar, Sundeep Vadd...
Background: Ribonuclease P is an ancient endonuclease that cleaves precursor tRNA and generally consists of a catalytic RNA subunit (RPR) and one or more proteins (RPPs). It repre...
Abstract: Graphs are often used to describe and analyze the geometry and physicochemical composition of biomolecular structures, such as chemical compounds and protein active sites...
Thomas Fober, Marco Mernberger, Ralph Moritz, Eyke...
This paper presents a novel face recognition method based on cascade Linear Discriminant Analysis (LDA) of the component-based face representation. In the proposed method, a face i...