4609 search results - page 715 / 922 » Automatic Generation of Sigma-Protocols |
163
click to vote
ISPD
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents SafeChoice (SC), a novel clustering algorithm for wirelength-driven placement. Unlike all previous approaches, SC is proposed based on a fundamental theorem, s...
180
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
149
click to vote
PERVASIVE
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. There are endless possibilities for the next generation of mobile social applications that automatically determine your social context. A key element of such applications...
186
click to vote
AVSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Millions of surveillance cameras record video around the clock, producing huge video archives. Even when a video archive is known to include critical activities, finding them i...
160
click to vote
CVPR
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a Resolution-Invariant Image Representation (RIIR) framework in this paper. The RIIR framework includes the methods of building a set of multi-resolution bases from tra...