Wireless Capsule Endoscopy (WCE) is a technical break-through that allows to produce a video of the entire intestine without surgery. It is reported that a medical clinician spend...
Giovanni Gallo, Eliana Granata, Alessandro Torrisi
We introduce the Multiplicative Update Selector and Estimator (MUSE) algorithm for sparse approximation in underdetermined linear regression problems. Given f = Φα∗ + µ, the ...
In this paper,weshowhowstandardGISoperationslike the complement,union,intersection, and bufferingof mapscan be mademoreflexiblebyusingfuzzyset theory.In particular, wepresenta var...
Abstract. Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling,...
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...