Sciweavers

12052 search results - page 292 / 2411
» computer 2010
Sort
View
ISVC
2010
Springer
15 years 4 months ago
Computer-Assisted Creation of 3D Models of Freeway Interchanges
Abstract. Several existing procedural modeling systems are able to generate large 3D models of cities. However, none of these systems can automatically create 3D models of freeways...
Soon Tee Teoh
ENTCS
2006
88views more  ENTCS 2006»
15 years 6 months ago
On Reversible Combinatory Logic
The -calculus is destructive: its main computational mechanism
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
174
Voted
ATAL
2010
Springer
15 years 7 months ago
Laplacian-based consensus on spatial computers
Robotic swarms, like all spatial computers, are a challenging environment for the execution of distributed consensus algorithms due to their scale, diameter, and frequent failures...
Nelson Elhage, Jacob Beal
HPCC
2010
Springer
15 years 6 months ago
Parallel Computational Modelling of Inelastic Neutron Scattering in Multi-node and Multi-core Architectures
Abstract--This paper examines the initial parallel implementation of SCATTER, a computationally intensive inelastic neutron scattering routine with polycrystalline averaging capabi...
Michael T. Garba, Horacio González-Vé...
CIE
2010
Springer
15 years 4 months ago
Computability of Countable Subshifts
We investigate the computability of countable subshifts in one dimension, and their members. Subshifts of Cantor-Bendixson rank one contain only eventually periodic elements. Any ...
Douglas A. Cenzer, S. Ali Dashti, Ferit Toska, Seb...