The Complexity of Abduction for Separated Heap Abstractions.

Nikos Gorogiannis Max I. Kanovich Peter W. O'Hearn

Published in: SAS (2011)

Keyphrases

data structure
neural network
case study
worst case
database
real time
databases
decision making
multi agent
video sequences
computational cost
background knowledge
space complexity