In this paper, we propose a diagnostic test generation method in conjunction with an efficient sequential SAT-based diagnosis procedure to precisely identify multiple defective si...
This article describes an emulation-based method for locating stuck-at faults in combinational and synchronous sequential circuits. The method is based on automatically designing a...
Abstract. Digital subtraction angiography (DSA) reconstructions and 3D Magnetic Resonance Angiography (MRA) are the modalities of choice for diagnosis of vascular diseases. However...
Charles Florin, James Williams, Ali Khamene, Nikos...
Abstract— In this contribution, we propose an efficient collaborative strategy for online change detection, in a distributed sensor network. The collaborative strategy ensures t...
Abstract--This study presents a computer-aided diagnosis system using sequential forward floating selection (SFFS) with support vector machine (SVM) to diagnose gastric histology o...