Sign in

A Complete Axiomatic System for a Process-Based Spatial Logic.

Radu MardareAlberto Policriti
Published in: MFCS (2008)
Keyphrases
  • spatio temporal
  • spatial information
  • data sets
  • logic programming
  • databases
  • neural network
  • genetic algorithm
  • learning algorithm
  • space time
  • process model
  • spatial distribution
  • asynchronous circuits