74
Voted
SIGSOFT
2004
ACM
16 years 12 days ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
86
Voted
SIGSOFT
2006
ACM
16 years 12 days ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
CVPR
1998
IEEE
16 years 1 months ago
1998
IEEE
In this paper, we present a neural network-based face detection system. Unlike similar systems which are limited to detecting upright, frontal faces, this system detects faces at ...