1156 search results - page 33 / 232 » Compositional Methods for Information-Hiding |
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
In this paper a novel genetically-inspired learning method is proposed for face expression recognition (FER) in visible images. Unlike current research for FER that generally uses ...
IFM
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
ICIAP
2009
ACM
14 years 6 months ago
2009
ACM
This paper presents a novel method for medical image registration.
The global transformation is obtained by composing affine transformations,
which are recovered locally from giv...
AMDO
2006
Springer
13 years 11 months ago
2006
Springer
An appraisal of human motions and particular motion phases is essential for a good interaction between a human and a humanoid robot. We present a new method for the analysis of hum...
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...