On the role of proofs in a course on design and analysis of algorithms.
Michal ArmoniPublished in: ACM SIGCSE Bull. (2006)
Keyphrases
- learning algorithm
- efficient implementation
- computational cost
- computational efficiency
- times faster
- data analysis
- user interface
- worst case
- statistical analysis
- orders of magnitude
- recently developed
- multidisciplinary design optimization
- design decisions
- theorem proving
- design principles
- computationally expensive
- software architecture
- computational complexity
- bayesian networks
- case study
- website
- artificial intelligence