Sciweavers

7628 search results - page 174 / 1526
» Spatial P systems
Sort
View
FROCOS
2005
Springer
15 years 9 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
ICCD
2000
IEEE
94views Hardware» more  ICCD 2000»
16 years 22 days ago
A Selective Temporal and Aggressive Spatial Cache System Based on Time Interval
This research proposes a new cache system that can increase the effect by temporal and spatial locality by using only simple hardware control without any locality detection hardwa...
Jung-Hoon Lee, Jang-Soo Lee, Shin-Dug Kim
ISMAR
2007
IEEE
15 years 10 months ago
Visualization of Spatial Sensor Data in the Context of Automotive Environment Perception Systems
Spatial sensor systems in cars are gaining more and more importance. Such sensor systems are the foundation of future safety systems, such as automatic emergency brakes, as well a...
Marcus Tönnis, Rudi Lindlf, Leonhard Walchsh&...
128
Voted
TABLETOP
2006
IEEE
15 years 9 months ago
Studying Designers using a Tabletop System for 3D Design with a Focus on the Impact on Spatial Cognition
Tabletop systems provide a platform for developing novel interaction systems, including tangible user interfaces (TUIs). This paper presents a study of the effects of a tabletop s...
Mary Lou Maher, Mi Jeong Kim
ATAL
2008
Springer
15 years 5 months ago
Automated global-to-local programming in 1-D spatial multi-agent systems
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...
Daniel Yamins, Radhika Nagpal