Keyphrases
- mass storage
- high level
- data mining
- machine learning
- european project
- conceptual model
- summer school
- european countries
- provably correct
- joint estimation
- formal language
- formal verification
- specification language
- formal methods
- database
- pairwise
- natural language
- e learning
- information systems
- information retrieval
- neural network