403 search results - page 56 / 81 » A testing scenario for probabilistic processes |
IFIP13
2004
13 years 10 months ago
2004
: 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...
WSC
2004
13 years 9 months ago
2004
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 ...
ICWE
2010
Springer
13 years 7 months ago
2010
Springer
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...
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Recently, psychological studies showed that averaging human face images greatly improves the performance of face recognition under various pose, illumination, expression, and/or a...
ICIP
2008
IEEE
14 years 2 months ago
2008
IEEE
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...