Embedding a Dialect of SDL in PROMELA.

Heikki Tuominen

Published in: SPIN (1999)

Keyphrases

vector space
neural network
structure preserving
nonlinear dimensionality reduction
databases
graph embedding
social networks
computer vision
similarity measure
expert systems
multiresolution
low dimensional
multidimensional scaling
latent space
parity check