—We describe our experience from the implementation of the T-MAC protocol for wireless sensor networks in the open-source Castalia simulator. Notwithstanding the popularity of th...
In this paper, we introduce a sectorial episode of the form C r, where C is a set of events and r is an event. The sectorial episode C r means that every event of C is followed b...
In this paper, we present a novel approach for detecting and removing pre-printed rule-lines from binary handwritten Arabic document images. The proposed technique is based on a d...
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
The authors will propose system integrated mechanisms, a Wiki platform for peer-reviewing, Link Grammar for automatically checking the students’ papers, and a RSS reader to peri...