Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
Abstract. Change detection in satellite image time series is an important domain with various applications in land study. Most previous works proposed to perform this detection by ...
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
Juan M. Vara, Valeria de Castro, Marcos Didonet De...
An active learner usually assumes there are some labeled data available based on which a moderate classifier is learned and then examines unlabeled data to manually label the mos...
We address a novel problem domain in the analysis of optical coherence tomography (OCT) images: the diagnosis of multiple macular pathologies in retinal OCT images. The goal is to ...
Yu-Ying Liu, Mei Chen, Hiroshi Ishikawa 0002, Gadi...