A Clausal Resolution Method for Branching-Time Logic ECTL+.
Alexander BolotovArtie BasukoskiPublished in: TIME (2004)
Keyphrases
- image processing
- detection method
- experimental evaluation
- synthetic data
- significant improvement
- cost function
- computational cost
- preprocessing
- pairwise
- image registration
- edge detection
- temporal information
- multiscale
- high precision
- machine learning
- clustering method
- detection algorithm
- low resolution
- feature extraction
- high resolution
- video sequences
- objective function