A Spin-based Verifier for Artifact Systems.
Yuliang LiAlin DeutschVictor VianuPublished in: CoRR (2017)
Keyphrases
- real time
- management system
- databases
- complex systems
- learning systems
- building blocks
- computer systems
- computational intelligence
- information retrieval
- neural network
- decision trees
- image sequences
- face recognition
- multi agent systems
- metadata
- feature selection
- information retrieval systems
- distributed systems
- information systems
- knowledge based systems
- social networks