338 search results - page 24 / 68 » A Formal Approach to Heuristically Test Restorable Systems |
GI
2009
Springer
13 years 6 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
Sharpness is one of the most determining factors in the perceptual assessment of image quality. Objective image sharpness measures may play important roles in the design and optim...
GAMEON
2003
13 years 10 months ago
2003
In this paper, we discuss another approach based on mimicry for interactive comedy, a relatively new genre in interactive drama. An interactive comedy system is proposed in which ...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
ICCBR
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper proposes a fuzzy-rough method of maintaining CaseBased Reasoning (CBR) systems. The methodology is mainly based on the idea that a large case library can be tr...