We propose the use of eigenvectors for automated multidimensional image segmentation. The approach of Shi and Malik [8] has been extended in three dimensions and applied on biomed...
We report on a new algorithm for combining the information from several mass spectra of the same peptide. The algorithm automatically learns peptide fragmentation patterns, so that...
— Location Dependent Information Services (LDISs) are gaining increasing popularity in recent years, and due to limited client power and intermittent connectivity, caching is an ...
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
The increasing demand for FPGAs and reconfigurable hardware targeting high performance low power applications has lead to an increasing requirement for new high performance reconf...