5525 search results - page 856 / 1105 » Verification of Model Transformations |
161
click to vote
ISCAS
2007
IEEE
16 years 29 days ago
2007
IEEE
— The Lagrangian technique proves to be an effective way in Rate-Distortion optimization for hybrid video coding. In this paper, an new Lagrange multiplier selection method for I...
180
click to vote
ACNS
2007
Springer
16 years 26 days ago
2007
Springer
In a proxy re-encryption scheme a semi-trusted proxy converts a ciphertext for Alice into a ciphertext for Bob without seeing the underlying plaintext. A number of solutions have ...
132
click to vote
ACCV
2007
Springer
16 years 26 days ago
2007
Springer
More and more researchers focus their studies on multi-view activity recognition, because a fixed view could not provide enough information for recognition. In this paper, we use ...
138
click to vote
BPM
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...
209
click to vote
CCIA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Robust object recognition is one of the most challenging topics in computer vision. In the last years promising results have been obtained using local regions and descrip...