Sciweavers

3377 search results - page 45 / 676
» Spatial computation
Sort
View
SASO
2008
IEEE
14 years 2 months ago
Cells Are Plausible Targets for High-Level Spatial Languages
—High level languages greatly increase the power of a programmer at the cost of programs that consume more s than those written at a lower level of abstraction. This inefficienc...
Jacob Beal, Jonathan Bachrach
FROCOS
2005
Springer
14 years 1 months ago
A Complete Temporal and Spatial Logic for Distributed Systems
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
Dirk Pattinson, Bernhard Reus
IPPS
2009
IEEE
14 years 2 months ago
The effect of population density on the performance of a spatial social network algorithm for multi-objective optimisation
—Particle Swarm Optimisation (PSO) is increasingly being applied to optimisation of multi-objective problems in engineering design and scientific investigation. This paper inves...
Andrew Lewis
WCNC
2010
IEEE
13 years 5 months ago
Linear and Non-Linear Detection for MIMO-OFDM Systems with Linear Precoding and Spatial Correlation
Precoding at the transmitter side facilitates the use of linear MIMO detection schemes, which are attractive for low-complexity receiver implementations. However, their performance...
Eckhard Ohlmer, Gerhard Fettweis
JGS
2000
88views more  JGS 2000»
13 years 7 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