550 search results - page 62 / 110 » Complementarity of Error Detection Techniques |
IJCSA
2007
13 years 8 months ago
2007
The paper presents results of experimental dependability evaluation of the Phoenix-RTOS operating system. Experiments are conducted using a self-developed testing environment and ...
AROBOTS
2004
13 years 8 months ago
2004
This paper addresses the localization and mapping problem for a robot moving through a (possibly) unknown environment where indistinguishable landmarks can be detected. A set theo...
ICRE
1998
IEEE
14 years 1 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
SPIN
2010
Springer
13 years 7 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
ICDAR
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, we present a new incremental learning strategy for handwritten character recognition systems. This learning strategy enables the recognition system to learn “rapi...