Sciweavers

380 search results - page 4 / 76
» Time Capsule Signature
Sort
View
ENTCS
2008
81views more  ENTCS 2008»
13 years 7 months ago
Signature Compilation for the Edinburgh Logical Framework
This paper describes the Signature Compiler, which can compile an LF signature to a custom proof checker in either C++ or Java, specialized for that signature. Empirical results a...
Michael Zeller, Aaron Stump, Morgan Deters
ICIC
2005
Springer
14 years 26 days ago
Aligning and Segmenting Signatures at Their Crucial Points Through DTW
Abstract. This paper presents a novel approach that uses the dynamic time warping (DTW) to match the crucial points of signatures. Firstly, the signatures are aligned through the D...
Zhong-Hua Quan, Hong-Wei Ji
IJNSEC
2010
143views more  IJNSEC 2010»
13 years 2 months ago
Nonce Generation For The Digital Signature Standard
Digital Signature Algorithm (DSA) is an underlying algorithm to form a signature in the Digital Signature Standard (DSS). DSA uses a new random number (or nonce) each time a signa...
Rajendra S. Katti, Rajesh G. Kavasseri
ICONIP
2004
13 years 8 months ago
Signature Verification Using Static and Dynamic Features
Abstract. A signature verification algorithm based on static and dynamic features of online signature data is presented. Texture and topological features are the static features of...
Mayank Vatsa, Richa Singh, Pabitra Mitra, Afzel No...
DEXA
2005
Springer
111views Database» more  DEXA 2005»
13 years 9 months ago
On the General Signature Trees
The signature file method is a popular indexing technique used in information retrieval and databases. It excels in efficient index maintenance and lower space overhead. Different ...
Yangjun Chen