Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method.
Thomas MailundPublished in: ICATPN (2002)
Keyphrases
- computational cost
- detection method
- high precision
- experimental evaluation
- clustering method
- theoretical analysis
- reduction method
- similarity measure
- objective function
- expert systems
- mathematical model
- cross section
- synthetic data
- segmentation method
- fully automatic
- distributed systems
- line detection
- input data
- neural network
- high accuracy
- management system
- classification accuracy
- probabilistic model
- face recognition
- image processing