3228 search results - page 269 / 646 » Computationally Sound Proofs |
155
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
We introduce a novel set of features for robust object recognition. Each element of this set is a complex feature obtained by combining position- and scale-tolerant edgedetectors ...
145
Voted
DAC
2006
ACM
16 years 5 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
138
click to vote
DCC
2005
IEEE
16 years 4 months ago
2005
IEEE
Signcryption [35] is a public key primitive that achieves the functionality of both an encryption scheme and a signature scheme simultaneously. It does this more efficiently than a...
135
Voted
DCC
2002
IEEE
16 years 4 months ago
2002
IEEE
We use methods of Mortimer [19] to examine the subcodes spanned by minimumweight vectors of the projective generalized Reed-Muller codes and their duals. These methods provide a p...
143
Voted
WG
2004
Springer
15 years 10 months ago
2004
Springer
It has long been known that the number of spanning trees in circulant graphs with fixed jumps and n nodes satisfies a recurrence relation in n. The proof of this fact was algebra...