4609 search results - page 739 / 922 » Automatic Generation of Sigma-Protocols |
179
click to vote
ACMACE
2006
ACM
16 years 14 days ago
2006
ACM
Recent advances in three-dimensional (3D) data acquisition techniques have offered an alternative to the traditional 2D metamorphosis (or morphing) approaches, which gradually cha...
171
click to vote
ASPDAC
2006
ACM
16 years 14 days ago
2006
ACM
- This paper presents a DSP core for multi-core media SoC, which is optimized to execute a set of signal processing tasks very efficiently. The fully-programmable core has a data-c...
138
click to vote
CHINZ
2006
ACM
16 years 14 days ago
2006
ACM
This paper reports on the evaluation of a digitallyaugmented exhibition on the history of modern media and our experiences with the methodic approach employed. As a central elemen...
168
click to vote
CSCW
2006
ACM
16 years 14 days ago
2006
ACM
Task dependencies drive the need to coordinate work activities. We describe a technique for using automatically generated archival data to compute coordination requirements, i.e.,...
137
click to vote
ISSTA
2006
ACM
16 years 13 days ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...