Specifying and Verifying Cases Retrieval System Combining Event B and Spin.

Hongjiang Gao Zheng Qin Li-Ping Shao Xingchen Heng

Published in: ICSC (2007)

Keyphrases

information retrieval systems
information retrieval
relevance feedback
event detection
databases
machine learning
image retrieval
user interface
social media
case based reasoning
retrieval systems
case base
stream processing
event logs