Keyphrases
- user defined
- user interface
- user input
- lightweight
- protocol specification
- user interaction
- high level
- recommender systems
- relevance feedback
- higher level
- digital libraries
- real time
- user preferences
- user feedback
- information overload
- formal specification
- social networks
- formal verification
- state machine
- neural network