A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
Corina S. Pasareanu, Matthew B. Dwyer, Michael Hut...
In this study we have followed a participatory design process in a class of children aged 11 and 12. The development team, a group of Danish schoolteachers, invited the children t...
Histograms represent a popular means for feature representation. This paper is concerned with the problem of exhaustive histogram-based image search. Several standard histogram co...
Mikhail Sizintsev, Konstantinos G. Derpanis, Andre...
In this paper we present a comparative study on fusion of visual and thermal images using different wavelet transformations. Here, coefficients of discrete wavelet transforms from...
Mrinal Kanti Bhowmik, Debotosh Bhattacharjee, Mita...
Abstract—Wireless Local Area Networks (WLANs) have become omnipresent: WLANs are available at airports, coffee shops, university campuses, corporate environments, and homes. This...
Aniket Mahanti, Carey L. Williamson, Martin F. Arl...