Sciweavers

2059 search results - page 334 / 412
» A Directed Threshold - Signature Scheme
Sort
View
CAIP
1993
Springer
178views Image Analysis» more  CAIP 1993»
15 years 8 months ago
Robust Recovery of Ego-Motion
A robust method is introduced for computing the camera motion (the ego-motion) in a static scene. The method is based on detecting a single planar surface in the scene directly fro...
Michal Irani, Benny Rousso, Shmuel Peleg
SAC
1994
ACM
15 years 8 months ago
Extending a parallel CLP language to support the development of multi-agent systems
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
Panagiotis Stamatopoulos, Dimitris Margaritis, Con...
SIGGRAPH
1992
ACM
15 years 8 months ago
Variational surface modeling
We present a new approachto interactive modeling of freeform surfaces. Instead of a fixed mesh of control points, the model presented to the user is that of an infinitely malleabl...
William Welch, Andrew P. Witkin
ASPDAC
2007
ACM
82views Hardware» more  ASPDAC 2007»
15 years 8 months ago
Efficient BMC for Multi-Clock Systems with Clocked Specifications
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
Malay K. Ganai, Aarti Gupta
COCO
2007
Springer
111views Algorithms» more  COCO 2007»
15 years 8 months ago
Efficient Arguments without Short PCPs
Current constructions of efficient argument systems combine a short (polynomial size) PCP with a cryptographic hashing technique. We suggest an alternative approach for this probl...
Yuval Ishai, Eyal Kushilevitz, Rafail Ostrovsky