197 search results - page 1 / 40 » On the Relationship between Spatial Logics and Behavioral Si... |
FOSSACS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
TCC
2005
Springer
13 years 10 months ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
GIS
2010
ACM
13 years 3 months ago
2010
ACM
Reasoning about space has been a considerable field of study both in Artificial Intelligence and in spatial information theory. Many applications benefit from the inference of ...
CG
2005
Springer
13 years 4 months ago
2005
Springer
Two experiments were carried out to explore the effect of rendering and interface fidelity on subjective impressions of illumination and perceived presence after exposure to a vir...
AAAI
1996
13 years 5 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...