46 search results - page 1 / 10 » Subsequence Invariants |
CONCUR
2008
Springer
13 years 6 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...
CAIP
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper proposes a new method to solve the problem of face recognition under varying illumination conditions. We introduce an exemplar-based technique to decouple and ...
ENTCS
2008
13 years 4 months ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...
ICPR
2006
IEEE
14 years 5 months ago
2006
IEEE
In this paper, a robust technique is proposed to detect and track a set of twenty-eight prominent facial features under various facial expressions and face orientations in real-ti...
ICASSP
2009
IEEE
13 years 11 months ago
2009
IEEE
In this paper, we propose a novel general framework for tensor based null space affine invariants, namely, tensor null space invariants (TNSI) with a linear classifier for high ...