10715 search results - page 366 / 2143 » Proofs from Tests |
151
click to vote
ASM
2005
ASM
16 years 12 days ago
2005
ASM
lation of BGS model of Abstract State Machines Comandur Seshadhri1 , Anil Seth2 , and Somenath Biswas2 1 Department of Computer Science Princeton University, Princeton NJ 08544, US...
152
click to vote
CRYPTO
2003
Springer
16 years 2 days ago
2003
Springer
On August 2002, Agrawal, Kayal and Saxena announced the first deterministic and polynomial time primality testing algorithm. For an input n, the AKS algorithm runs in heuristic t...
149
click to vote
PICS
2001
15 years 8 months ago
2001
Banding can be a major defect in inkjet printing. Knowing the visual sensitivity threshold of inkjet banding is therefore useful for understanding and pushing the technological li...
192
click to vote
UTP
2010
15 years 5 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
206
click to vote
CVPR
2005
IEEE
16 years 8 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 ...