Sciweavers

7335 search results - page 1029 / 1467
» Scene Based Reasoning
Sort
View
ANTS
2010
Springer
250views Algorithms» more  ANTS 2010»
15 years 10 months ago
A Subexponential Algorithm for Evaluating Large Degree Isogenies
An isogeny between elliptic curves is an algebraic morphism which is a group homomorphism. Many applications in cryptography require evaluating large degree isogenies between ellip...
David Jao, Vladimir Soukharev
FOCI
2007
IEEE
15 years 10 months ago
An Investigation on the Compression Quality of aiNet
AiNet is an immune-inspired algorithm for data compression, i.e. the reduction of redundancy in data sets. In this paper we investigate the compression quality of aiNet. Therefore,...
Thomas Stibor, Jonathan Timmis
IBPRIA
2007
Springer
15 years 10 months ago
New Measure for Shape Elongation
Shape elongation is one of the basic shape descriptors that has a very clear intuitive meaning. That is reason for its applicability in many shape classification tasks. In this pap...
Milos Stojmenovic, Jovisa D. Zunic
ICB
2007
Springer
113views Biometrics» more  ICB 2007»
15 years 10 months ago
Standardization of Face Image Sample Quality
Performance of biometric systems is dependent on quality of acquired biometric samples. Poor sample quality is a main reason for matching errors in biometric systems and may be the...
Xiufeng Gao, Stan Z. Li, Rong Liu, Peiren Zhang
ICECCS
2007
IEEE
129views Hardware» more  ICECCS 2007»
15 years 10 months ago
Automated Verification of Shape, Size and Bag Properties
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...
« Prev « First page 1029 / 1467 Last » Next »