Sciweavers

4463 search results - page 300 / 893
» computing 2000
Sort
View
BC
2000
75views more  BC 2000»
15 years 6 months ago
Predictions derived from modelling the hippocampal role in navigation
A computational model of the lesion and single unit data from navigation in rats is reviewed. The model uses external (visual) and internal (odometric) information from the environ...
Neil Burgess, Andrew Jackson, Tom Hartley, John O'...
CN
2000
69views more  CN 2000»
15 years 6 months ago
Hierarchical source routing using implied costs
Based on a loss network model, we present an adaptive source routing scheme for a large, hierarchically organized network. To represent the ``available'' capacity of a p...
Michael Montgomery, Gustavo de Veciana
DC
2000
15 years 6 months ago
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
Anna Pogosyants, Roberto Segala, Nancy A. Lynch
IPL
2000
77views more  IPL 2000»
15 years 6 months ago
Simplified proof of the Fourier Sampling Theorem
We give a short and simple proof of Hales and Hallgren's Fourier Sampling Theorem ["Quantum Fourier Sampling Simplified", Proceedings of the Thirty-First Annual ACM...
Peter Høyer
JGS
2000
88views more  JGS 2000»
15 years 6 months ago
Part 4 Technology and the future of GIS and spatial analysis
Abstract. Geographical Information Science is essentially computational geography and has its own research program, namely all aspects of formal models for spatial natural processe...
Andrew U. Frank