8874 search results - page 127 / 1775 » A New Implementation of Automath |
132
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In MaxSat, we ask for an assignment which satisfies the maximum number of clauses for a boolean formula in CNF. We present an algorithm yielding a run time upper bound of O (2 K 6....
135
click to vote
IJNSEC
2008
15 years 3 months ago
2008
In 2005, Lee, Kim, and Yoo proposed a nonce-based mutual authentication scheme using smart cards. However, this paper demonstrates that Lee-Kim-Yoo's scheme is vulnerable to ...
140
Voted
NGC
2008
Springer
15 years 3 months ago
2008
Springer
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...
107
click to vote
PAMI
2006
15 years 3 months ago
2006
In this article we present a novel convexity measure for object shape analysis. The proposed method is based on the idea of generating pairs of points from a set, and measuring th...
121
Voted
TIP
2010
2010
The Discrete Shearlet Transform: A New Directional Transform and Compactly Supported Shearlet Frames
15 years 2 months ago
It is now widely acknowledged that analyzing the intrinsic geometrical features of the underlying image is essential in many applications including image processing. In order to a...