5525 search results - page 987 / 1105 » Verification of Model Transformations |
118
click to vote
TCC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present the first positive obfuscation result for a traditional cryptographic functionality. This positive result stands in contrast to well-known negative impossibil...
154
click to vote
3DPVT
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents a hybrid 1D motion estimation algorithm which combines pixel-based and region-based approaches that can give depth images from translational video sequences wi...
133
click to vote
ICAC
2006
IEEE
15 years 9 months ago
2006
IEEE
— Event processing systems link event producers and consumers in a flexible manner, by supporting multiple communication patterns and powerful message transformations. Such syst...
140
click to vote
ICDE
2006
IEEE
15 years 9 months ago
2006
IEEE
The spatio-temporal information of a video object is important for content-based video retrieval. In this paper the spatio-temporal information of a video object, such as the velo...
136
click to vote
ICMB
2006
IEEE
15 years 9 months ago
2006
IEEE
Clinical studies are often conducted as multi-centered studies involving participants at different locations. Thus it becomes obvious that using mobile platforms and remote data e...