Abstract. Defunctionalization is a program transformation that eliminates functions as first-class values. We show that defunctionalization can be viewed as a type-preserving trans...
Super-resolution methods aimed to restore the spectrum of an original image above the half sampling frequency. The restoration problem is generally viewed as an inverse problem an...
Understanding the performance of backoff algorithms in multihop ad hoc networks is a key feature to design efficient Medium Access Protocols for wireless networks. The 802.11 bac...
Abstract. In the European cognitive vision project VAMPIRE (IST2001-34401), mobile AR-kits are used for interactive teaching of a visual active memory. This is achieved by 3D augme...
Abstract. P systems (known also as membrane systems) are biologically motivated theoretical models of distributed and parallel computing. The two most interesting questions in the ...