5525 search results - page 805 / 1105 » Verification of Model Transformations |
185
click to vote
ICML
2001
IEEE
16 years 7 months ago
2001
IEEE
A single signal processing algorithm can be represented by many mathematically equivalent formulas. However, when these formulas are implemented in code and run on real machines, ...
178
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Ultrasound images are corrupted by a multiplicative noise, the speckle, which makes high level analysis difficult. Within each resolution cell a number of elementary scatterers re...
153
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
In a proxy re-encryption (PRE) scheme [4], a proxy, authorized by Alice, transforms messages encrypted under Alice's public key into encryptions under Bob's public key w...
133
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
The general aim of the workshop is to explore the temporal aspects of work for Human-Computer Interaction (HCI). This position paper attempts to contribute to the exploration by p...
167
click to vote
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
The combination of intra prediction, transform, and quantization in the H.264/AVC video coding standard offers high compression performance in picture areas where inter prediction...