3690 search results - page 418 / 738 » Computation with classical sequents |
177
click to vote
ICCV
2005
IEEE
16 years 12 days ago
2005
IEEE
The representation and modelling of regions is an important topic in computer vision. In this paper, we represent a region via a level set of a ‘phase field’ function. The fu...
179
click to vote
ICPP
2005
IEEE
16 years 12 days ago
2005
IEEE
We show how a series of transformations can be applied to a sequential program to obtain programs that represent successive steps in exploiting parallelism in the original algorit...
168
click to vote
ICPPW
2005
IEEE
16 years 12 days ago
2005
IEEE
We report on a £rst parallel implementation of a recent algorithm to factor positive dimensional solution sets of polynomial systems. As the algorithm uses homotopy continuation,...
202
click to vote
IPPS
2005
IEEE
16 years 12 days ago
2005
IEEE
Many applications in Comparative Genomics lend themselves to implementations that take advantage of common high-performance features in modern microprocessors. However, the common...
175
click to vote
NCA
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper deals with general nested loops and proposes a novel scheduling methodology for reducing the communication cost of parallel programs. General loops contain complex loop...