3707 search results - page 132 / 742 » A Simple Technique for Self-Calibration |
79
Voted
LICS
2000
IEEE
15 years 2 months ago
2000
IEEE
We establish that the decidability of the first order theory of a class of finite structures ¢ is a simple and useful condition for guaranteeing that the expressive power of FO...
97
Voted
DFT
1997
IEEE
15 years 2 months ago
1997
IEEE
Recent increases in the density and size of memory ICs made it ne cessary to search for new defect tolerance techniques since the traditional methods are no longer e ective enough...
70
Voted
CRYPTO
1993
Springer
15 years 2 months ago
1993
Springer
Cryptographic techniques have been used intensively in the past to show how to play multiparty games in an adversarial scenario. We now investigate the cryptographic power of a dec...
69
Voted
ICSE
1994
IEEE-ACM
15 years 2 months ago
1994
IEEE-ACM
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
CHI
1995
ACM
15 years 1 months ago
1995
ACM
Large information spaces are often difficult to access efficiently and intuitively. We are exploring Pad++, a graphical interface system based on zooming, as an alternative to tra...