Sciweavers

5525 search results - page 587 / 1105
» Verification of Model Transformations
Sort
View
CSFW
2012
IEEE
13 years 9 months ago
Discovering Concrete Attacks on Website Authorization by Formal Analysis
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffe...
ICCV
2009
IEEE
17 years 4 days ago
An Algebraic Approach to Affine Registration of Point Sets
This paper proposes a new affine registration algorithm for matching two point sets in IR2 or IR3. The input point sets are represented as probability density functions, using e...
Jeffrey Ho, Adrian Peter, Anand Rangarajan, Ming-H...
ICIP
2008
IEEE
16 years 9 months ago
Automatic tonal harmonization for multi-spectral mosaics
When producing a mosaic of multiple multi-spectral images one needs to harmonize the colours so that the tone transition is smooth from one image to the other. Given two images Im...
Pouya Dehghani Tafti, Xiaolin Wu
PKC
2007
Springer
129views Cryptology» more  PKC 2007»
16 years 1 months ago
Two-Tier Signatures, Strongly Unforgeable Signatures, and Fiat-Shamir Without Random Oracles
We provide a positive result about the Fiat-Shamir (FS) transform in the standard model, showing how to use it to convert threemove identification protocols into two-tier signatur...
Mihir Bellare, Sarah Shoup
AMFG
2005
IEEE
218views Biometrics» more  AMFG 2005»
16 years 24 days ago
Online Feature Selection Using Mutual Information for Real-Time Multi-view Object Tracking
It has been shown that features can be selected adaptively for object tracking in changing environments [1]. We propose to use the variance of Mutual Information [2] for online fea...
Alex Po Leung, Shaogang Gong