6274 search results - page 782 / 1255 » Proofs, Programs, Processes |
189
click to vote
CPHYSICS
2010
15 years 4 months ago
2010
We present TFORM, the version of the symbolic manipulation system FORM that can make simultaneous use of several processors in a shared memory architecture. The implementation use...
171
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
The existing software engineering literature has empirically shown that a proper choice of identifiers influences software understandability and maintainability. Researchers have n...
223
click to vote
JDCTA
2010
15 years 1 months ago
2010
Because the characteristic of wavelet transform is multi-resolution, their unique advantage of the data model is multi-scale analysis. Then, it's widely used the Wavelet-base...
300
click to vote
CPHYSICS
2011
14 years 10 months ago
2011
We present a new Monte Carlo tool that computes full tree-level matrix elements in high-energy physics. The program accepts user-defined models and has no restrictions on the pro...
190
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper, we address the problem of hallucinating a high resolution face given a low resolution input face. The problem is approached through sparse coding. To exploit the fa...