Sciweavers

15792 search results - page 2767 / 3159
» Computational Abstraction Steps
Sort
View
ECAL
2003
Springer
16 years 2 days ago
Low-Level Visual Homing
Abstract. We present a variant of the snapshot model [1] for insect visual homing. In this model a snapshot image is taken by an agent at the goal position. The disparity between c...
Andrew Vardy, Franz Oppacher
EMMCVPR
2003
Springer
16 years 2 days ago
using Prior Shape and Points in Medical Image Segmentation
Abstract. In this paper we propose a new variational framework for image segmentation that incorporates the information of expected shape and a few points on the boundary into geod...
Yunmei Chen, Weihong Guo, Feng Huang, David Cliffo...
EMSOFT
2003
Springer
16 years 2 days ago
Generating Heap-Bounded Programs in a Functional Setting
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
Walid Taha, Stephan Ellner, Hongwei Xi
EUROPAR
2003
Springer
16 years 2 days ago
Improving Performance of Hypermatrix Cholesky Factorization
Abstract. This paper shows how a sparse hypermatrix Cholesky factorization can be improved. This is accomplished by means of efficient codes which operate on very small dense matri...
José R. Herrero, Juan J. Navarro
EUROPAR
2003
Springer
16 years 2 days ago
Parallelization with Tree Skeletons
Abstract. Trees are useful data structures, but to design efficient parallel programs over trees is known to be more difficult than to do over lists. Although several important tre...
Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
« Prev « First page 2767 / 3159 Last » Next »