Sciweavers

3091 search results - page 267 / 619
» The Color Between Two Others
Sort
View
ICPR
2010
IEEE
15 years 2 months ago
On-Line Signature Verification Using 1-D Velocity-Based Directional Analysis
In this paper, we propose a novel approach for identity verification based on the directional analysis of velocity-based partitions of an on-line signature. First, interfeature dep...
Muhammad Talal Ibrahim, Matthew J. Kyan, M. Aurang...
TACAS
2010
Springer
151views Algorithms» more  TACAS 2010»
15 years 2 months ago
A Polymorphic Intermediate Verification Language: Design and Logical Encoding
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
K. Rustan M. Leino, Philipp Rümmer
EMNLP
2009
15 years 2 months ago
Descriptive and Empirical Approaches to Capturing Underlying Dependencies among Parsing Errors
In this paper, we provide descriptive and empirical approaches to effectively extracting underlying dependencies among parsing errors. In the descriptive approach, we define some ...
Tadayoshi Hara, Yusuke Miyao, Jun-ichi Tsujii
ICIP
2009
IEEE
15 years 2 months ago
Face virtual pose generation using aligned locally linear regression for face recognition
In this paper a new solution for the single sample problem in low resolution face recognition is proposed. The proposed solution uses an enhanced virtual pose generation method to...
Mohammad H. Rohban, Hamid R. Rabiee, Arash Vahdat
MOC
2011
14 years 11 months ago
Fast evaluation of modular functions using Newton iterations and the AGM
We present an asymptotically fast algorithm for the numerical evaluation of modular functions such as the elliptic modular function j. Our algorithm makes use of the natural connec...
Régis Dupont