Computer-Aided Way to Prove Theorems in Scheduling.
Sergey V. SevastianovI. D. TchernykhPublished in: ESA (1998)
Keyphrases
- computer aided
- image analysis
- computer assisted
- scheduling problem
- computer aided diagnosis
- diagnosis of breast cancer
- capsule endoscopy
- scheduling algorithm
- precedence relations
- computer aided design
- process planning
- resource constraints
- cad systems
- differential diagnosis
- pulmonary nodules
- neural network
- pattern recognition
- feature extraction