Formal framework for hypertext systems.
Mark d'InvernoMark PriestleyMichael LuckPublished in: IEE Proc. Softw. Eng. (1997)
Keyphrases
- machine learning
- management system
- distributed systems
- formal methods
- main contribution
- neural network
- information retrieval systems
- probabilistic model
- user interface
- information retrieval
- digital libraries
- video sequences
- lightweight
- building blocks
- feature selection
- learning systems
- software systems
- retrieval systems
- trust management
- hypermedia systems