Login / Signup
Transition Specifications for Dynamic Abstract Data Type.
Martin Große-Rhode
Published in:
Bull. EATCS (1995)
Keyphrases
</>
abstract data types
spatio temporal
data types
database
machine learning
high level
image sequences
data analysis
knowledge discovery
nearest neighbor
object oriented databases
data abstraction
denotational semantics