The general approach for automatically driving data collection using information from previously acquired data is called active learning. Traditional active learning addresses the...
We propose an algorithm for the diffeomorphic registration of diffusion tensor images (DTI). Previous DTI registration algorithms using full tensor information suffer from difficu...
B. T. Thomas Yeo, Tom Vercauteren, Pierre Fillard,...
We propose a non-intrusive methodology for concurrent fault detection in FSMs. The proposed method is similar to duplication, wherein a replica of the circuit acts as a predictor ...
The complexity of many problems necessitates creating and exploring multiple, alternative solutions. However, current user interfaces do not cleanly support creating alternatives ...
Michael A. Terry, Elizabeth D. Mynatt, Kumiyo Naka...
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...