Relational Transition System in Maude.

Bartosz Zielinski Pawel Maslanka

Published in: BDAS (2017)

Keyphrases

relational databases
relational data
formal specification
data model
database
relational learning
database language
relational model
computer vision
data sets
search algorithm
feature selection
mobile robot
information systems
artificial intelligence
state transition
real time