70 search results - page 5 / 14 » Palmprint Verification Using Consistent Orientation Coding |
RV
2010
Springer
13 years 5 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
A lapped biorthogonal transform adapted for local directionality of an image is proposed. The proposed transform consists of overlapping basis functions and non-overlapping basis ...
ISSTA
2010
ACM
13 years 9 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
IASTEDSEA
2004
13 years 9 months ago
2004
Software engineering is hampered by the fact that software systems quickly become so complex that they are hard to understand, evolve and maintain. Closer integration of code and ...
IWPC
2002
IEEE
14 years 16 days ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...