6014 search results - page 1019 / 1203 » Trends in High Performance Computing |
144
click to vote
WOA
2000
15 years 6 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
164
Voted
EUROSIM
1996
15 years 6 months ago
1996
This paper presents parallel algorithms for MPEG video compression by using the PVM library. Because of the huge amount of computation, a sequential software encoder is slow at th...
138
Voted
NIPS
1993
15 years 6 months ago
1993
The game of Go has a high branching factor that defeats the tree search approach used in computer chess, and long-range spatiotemporal interactions that make position evaluation e...
191
Voted
AVSS
2009
IEEE
15 years 5 months ago
2009
IEEE
Visual tracking with moving cameras is a challenging task. The global motion induced by the moving camera moves the target object outside the expected search area, according to th...
123
click to vote
BILDMED
2009
15 years 5 months ago
2009
During endovascular aortic repair (EVAR) treatment, the aortic shape is subject to severe deformation that is imposed by medical instruments such as guide wires, catheters, and the...