5005 search results - page 687 / 1001 » The Design and Analysis of Parallel Algorithms |
197
click to vote
ISSAC
2009
Springer
16 years 1 months ago
2009
Springer
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...
157
click to vote
FCCM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
156
click to vote
HUC
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Many existing localization systems generate location predictions, but fail to report how accurate the predictions are. This paper explores the effect of revealing the er...
156
click to vote
TACAS
2007
Springer
16 years 24 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
166
Voted
IBPRIA
2005
Springer
16 years 6 days ago
2005
Springer
We describe a fast algorithm for Gabor filtering, specially designed for multi-scale image representations. Our proposal is based on three facts: first, Gabor functions can be de...