470 search results - page 12 / 94 » FORM facts |
PODS
1991
ACM
14 years 14 days ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...
CVPR
2005
IEEE
14 years 11 months ago
2005
IEEE
Most camera calibration algorithms consider parameters that define the lens distortion mapping. The usual way to determine these parameters is to minimize a nonlinear optimization...
INTETAIN
2005
Springer
14 years 2 months ago
2005
Springer
Public spaces are interactive by the very fact that they are designed to be looked at, walked around, and used by multitudes of people on a daily basis. Architects design such spac...
CCS
2004
ACM
14 years 2 months ago
2004
ACM
We study a countermeasure proposed to protect Chinese remainder theorem (CRT) computations for RSA against fault attacks. The scheme was claimed to be provably secure. However, we...
ISCAS
1994
IEEE
14 years 1 months ago
1994
IEEE
Abstract - The general form of PBFs corresponding to one weight WM filters, which are a subclass of WM filters, is derived in this paper. Based on the results, it is straightforwar...