5344 search results - page 369 / 1069 » Privacy-Preserving Set Operations |
137
click to vote
ITICSE
2000
ACM
15 years 9 months ago
2000
ACM
In this paper, we present ANIMAL, a new tool for developing animations to be used in lectures. ANIMAL offers a small but powerful set of graphical operators. Animations are genera...
131
click to vote
DFT
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper presents a system to evaluate the testability of an on-line testable circuit. The system operates at the RT-level, before the logic synthesis step, and allows for an ex...
151
click to vote
PRICAI
1998
Springer
15 years 9 months ago
1998
Springer
Weaddress the general problemof finding algorithms for efficient, qualitative, point-basedtemporalreasoning over a set of operations. Weconsider general reasonerstailored for temp...
137
click to vote
ISSS
1997
IEEE
15 years 9 months ago
1997
IEEE
In this paper we present a method that allows to observe and control the emulation of communicating systems consisting of hardware and software parts. The approach provides the ab...
122
click to vote
CHI
1993
ACM
15 years 9 months ago
1993
ACM
We describe pictographic naming, a new approach to naming for pen-based computers, in which filenames are pictures rather than ASCII strings. Handwriting recognition (HWX) of a n...