Sciweavers

4767 search results - page 734 / 954
» Structures for Abstract Rewriting
Sort
View
ECAL
2003
Springer
15 years 11 months 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
EMSOFT
2003
Springer
15 years 11 months 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
ESA
2003
Springer
111views Algorithms» more  ESA 2003»
15 years 11 months ago
Fast Smallest-Enclosing-Ball Computation in High Dimensions
Abstract. We develop a simple combinatorial algorithm for computing the smallest enclosing ball of a set of points in high dimensional Euclidean space. The resulting code is in mos...
Kaspar Fischer, Bernd Gärtner, Martin Kutz
ESAW
2003
Springer
15 years 11 months ago
Patterns Reuse in the PASSI Methodology
Abstract. Design patterns already proved successful in lowering the development time and number of errors of object-oriented software; now, they are, candidate to play a similar ro...
Massimo Cossentino, Luca Sabatucci, Antonio Chella
EUROCAST
2003
Springer
135views Hardware» more  EUROCAST 2003»
15 years 11 months ago
White Matter Mapping in DT-MRI Using Geometric Flows
Abstract. We present a 3D geometric flow designed to evolve in Diffusion Tensor Magnetic Resonance Images(DT-MRI) along fiber tracts by measuring the diffusive similarity betwe...
Lisa Jonasson, Patric Hagmann, Xavier Bresson, Ret...