2714 search results - page 174 / 543 » Model comparison with GenericDiff |
131
Voted
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
130
Voted
ISW
2004
Springer
15 years 8 months ago
2004
Springer
Misuse Detection systems identify evidence of attacks by searching for patterns of known attacks (signatures). A main problem in this context is the modeling and specification of a...
ICSE
2001
IEEE-ACM
15 years 7 months ago
2001
IEEE-ACM
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...
160
Voted
AMFG
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper addresses the 3D tracking of pose and animation of the human face in monocular image sequences using Active Appearance Models. The classical appearancebased tracking su...
147
Voted
BIOID
2008
15 years 4 months ago
2008
Abstract. Gabor filters have demonstrated their effectiveness in automatic face recognition. However, one drawback of Gabor-based face representations is the huge amount of data th...