6939 search results - page 1149 / 1388 » Algorithm Engineering for Parallel Computation |
172
click to vote
MM
2003
ACM
15 years 9 months ago
2003
ACM
The goal of tele-immersion has long been to enable people at remote locations to share a sense of presence. A tele-immersion system acquires the 3D representation of a collaborato...
DAC
2005
ACM
16 years 4 months ago
2005
ACM
In this paper an optimization based model order reduction (MOR) framework is proposed. The method involves setting up a quasiconvex program that explicitly minimizes a relaxation ...
123
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
WWW
2010
ACM
15 years 10 months ago
2010
ACM
We describe improvements to the use of semantic lexicons by a state-of-the-art query interpretation system powering a major search engine. We successfully compute concept label im...
136
click to vote
AFRICACRYPT
2010
Springer
15 years 10 months ago
2010
Springer
This paper describes an implementation of Pollard’s rho algorithm to compute the elliptic curve discrete logarithm for the Synergistic Processor Elements of the Cell Broadband En...