2020 search results - page 21 / 404 » Speeding up Slicing |
ICIP
2002
IEEE
14 years 13 days ago
2002
IEEE
In this paper we present a method to estimate in real-time the position and orientation of a previously viewed planar patch. The algorithm is based on minimising the sum of square...
ISMVL
2002
IEEE
14 years 12 days ago
2002
IEEE
We present the role that spectral methods play in the development of the most impressive quantum algorithms, such as the polynomial time number factoring algorithm by Shor. While ...
EDCC
2010
Springer
14 years 9 days ago
2010
Springer
ICALP
2001
Springer
13 years 12 months ago
2001
Springer
GLVLSI
2000
IEEE
13 years 12 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...