Sciweavers

5608 search results - page 822 / 1122
» On the Theory of Matchgate Computations
Sort
View
CHI
1999
ACM
15 years 11 months ago
Direct Combination
This paper reports on Direct Combination, a new user interaction technique. Direct Combination may be viewed variously as: a systematic extension to Direct Manipulation; a concise...
Simon Holland, Daniel Oppenheim
169
Voted
FOCS
1999
IEEE
15 years 11 months ago
Limits on the Efficiency of One-Way Permutation-Based Hash Functions
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...
Jeong Han Kim, Daniel R. Simon, Prasad Tetali
ICCAD
1999
IEEE
101views Hardware» more  ICCAD 1999»
15 years 11 months ago
Efficient model reduction of interconnect via approximate system gramians
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...
Jing-Rebecca Li, Jacob White
KBSE
1999
IEEE
15 years 11 months ago
Modular and Incremental Analysis of Concurrent Software Systems
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...
Hassen Saïdi
ICVS
1999
Springer
15 years 11 months ago
Improving 3D Active Visual Tracking
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...
João P. Barreto, Paulo Peixoto, Jorge Batis...