15416 search results - page 2720 / 3084 » Embeddings of Computable Structures |
177
click to vote
ECAL
2003
Springer
16 years 1 days ago
2003
Springer
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...
168
click to vote
EMSOFT
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
178
click to vote
ESA
2003
Springer
16 years 1 days ago
2003
Springer
This paper presents a dynamic algorithm for the construction of the Euclidean Voronoi diagram of a set of convex objects in the plane. We consider first the Voronoi diagram of smo...
140
click to vote
EUROPAR
2003
Springer
16 years 1 days ago
2003
Springer
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...
177
Voted
FPGA
2003
ACM
16 years 1 days ago
2003
ACM
To truly exploit FPGAs for rapid turn-around development and prototyping, placement times must be reduced to seconds; latebound, reconfigurable computing applications may demand p...