2168 search results - page 352 / 434 » Using Approximation Hardness to Achieve Dependable Computati... |
123
Voted
SIGGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
The emergence of large-scale freeform shapes in architecture poses big challenges to the fabrication of such structures. A key problem is the approximation of the design surface b...
150
Voted
COMPUTING
2004
15 years 3 months ago
2004
The presented image registration method uses a regularized gradient flow to correlate the intensities in two images. Thereby, an energy functional is successively minimized by des...
150
Voted
ICS
2007
Tsinghua U.
15 years 10 months ago
2007
Tsinghua U.
Process arrival pattern, which denotes the timing when different processes arrive at an MPI collective operation, can have a significant impact on the performance of the operatio...
163
Voted
DAC
2004
ACM
16 years 4 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
119
Voted
MOBIHOC
2003
ACM
16 years 3 months ago
2003
ACM
Contrary to the common belief that mobility makes security more difficult to achieve, we show that node mobility can, in fact, be useful to provide security in ad hoc networks. We...