129
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
123
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with -regular objectives; and (b) synthesizes reasonable environment assumptions f...
111
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which p...
158
click to vote
ARC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Few of the benefits of exploiting partially reconfigurable devices are power consumption reduction, cost reduction, and customized performance improvement. To obtain thes...
154
click to vote
ACCV
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper, we propose a novel method for generic object recognition by using higher-order local auto-correlations on probability images. The proposed method is an ext...