5964 search results - page 831 / 1193 » A theory of speculative computation |
191
click to vote
FOCS
1999
IEEE
15 years 12 months ago
1999
IEEE
Naor and Yung show that a one-bit-compressing universal one-way hash function (UOWHF) can be constructed based on a one-way permutation. This construction can be iterated to build...
192
click to vote
ICCAD
1999
IEEE
15 years 12 months ago
1999
IEEE
Krylov-subspace based methods for generating low-order models of complicated interconnect are extremely effective, but there is no optimality theory for the resulting models. Alte...
216
click to vote
KBSE
1999
IEEE
15 years 12 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
220
click to vote
ICVS
1999
Springer
15 years 12 months ago
1999
Springer
Tracking in 3D with an active vision system depends on the performance of both motor control and vision algorithms. Tracking is performed based on different visual behaviors, name...
217
click to vote
ICCV
1998
IEEE
15 years 12 months ago
1998
IEEE
We have been developing a theory of generic 2-D shape based on a reaction-diffusion model from mathematical physics. The description of a shape is derived from the singularities o...