Deciding Spatial and behavioral properties in the pi-calculus.

Lucia Acciai Michele Boreale

Published in: ICTCS (2009)

Keyphrases

spatio temporal
spatial information
neural network
genetic algorithm
spatial and temporal
desirable properties
databases
information retrieval
spatial distribution
spatial reasoning
formal language
cardinal directions
topological relations