2634 search results - page 42 / 527 » Faster Than Uppaal |
IPMI
2007
Springer
14 years 9 months ago
2007
Springer
Diffeomorphic image registration, where images are aligned using diffeomorphic warps, is a popular subject for research in medical image analysis. We introduce a novel algorithm fo...
DCC
2007
IEEE
14 years 8 months ago
2007
IEEE
This paper describes FPC, a lossless compression algorithm for linear streams of 64-bit floating-point data. FPC is designed to compress well while at the same time meeting the hi...
CRYPTO
2007
Springer
14 years 2 months ago
2007
Springer
Coppersmith described at Eurocrypt 96 an algorithm for finding small roots of bivariate integer polynomial equations, based on lattice reduction. A simpler algorithm was later pro...
FOCS
2005
IEEE
14 years 2 months ago
2005
IEEE
We further develop the group-theoretic approach to fast matrix multiplication introduced by Cohn and Umans, and for the first time use it to derive algorithms asymptotically fast...
ASIACRYPT
2004
Springer
14 years 2 months ago
2004
Springer
This paper proposes a new sieving algorithm that employs a bucket sort as a part of a factoring algorithm such as the number field sieve. The sieving step requires an enormous num...