Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers.

Svetoslav R. Ganov Sarfraz Khurshid Dewayne E. Perry

Published in: ICFEM (2012)

Keyphrases

domain specific
data analysis
statistical analysis
social networks
video sequences
genetic algorithm
keywords
information extraction
general purpose
semantic annotation
incremental learning
quantitative analysis
annotation tool