3690 search results - page 418 / 738 » Computation with classical sequents |
199
click to vote
ICCV
2005
IEEE
16 years 1 months 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...
195
click to vote
ICPP
2005
IEEE
16 years 1 months 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...
193
click to vote
ICPPW
2005
IEEE
16 years 1 months 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,...
215
click to vote
IPPS
2005
IEEE
16 years 1 months 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...
201
click to vote
NCA
2005
IEEE
16 years 1 months 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...