Making Maude Definitions More Interactive.
Andrei ArusoaieTraian-Florin SerbanutaChucky EllisonGrigore RosuPublished in: WRLA (2012)
Keyphrases
- user interaction
- neural network
- user friendly
- databases
- real world
- formal specification
- three dimensional
- data structure
- virtual reality
- computer graphics
- graphical interface
- data sets
- interactive learning
- collaborative learning
- mobile robot
- artificial neural networks
- information retrieval
- machine learning
- data mining