Checking safety properties on-the-fly with the sweep-line method.
Guy Edward GallaschJonathan BillingtonSomsak Vanit-AnunchaiLars Michael KristensenPublished in: Int. J. Softw. Tools Technol. Transf. (2007)
Keyphrases
- high accuracy
- prior knowledge
- cost function
- experimental evaluation
- learning algorithm
- fully automatic
- detection method
- artificial neural networks
- significant improvement
- classification method
- main contribution
- mutual information
- pairwise
- feature space
- objective function
- image sequences
- decision trees
- clustering algorithm