: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
Hospitals today are investing time and money to expand and improve their Emergency Departments (ED). Using simulation to test their many improvement ideas can necessitate running ...
Abstract. In the Internet of Things several objects with network capabilities are connected over a self-configured local network with other objects to interact and share knowledge...
Recently, psychological studies showed that averaging human face images greatly improves the performance of face recognition under various pose, illumination, expression, and/or a...
Background subtraction is an essential element in most object tracking and video surveillance systems. The success of this low-level processing step is highly dependent on the qua...