A CLP Proof Method for Timed Automata.
Joxan JaffarAndrew E. SantosaRazvan VoicuPublished in: RTSS (2004)
Keyphrases
- detection method
- significant improvement
- experimental evaluation
- high accuracy
- cost function
- high precision
- classification method
- prior knowledge
- similarity measure
- detection algorithm
- logic programs
- optimization algorithm
- feature set
- segmentation method
- computationally efficient
- distributed systems
- support vector machine
- dynamic programming
- computational complexity
- reinforcement learning