Verifying Time Complexity of Binary Search using Dafny.
Shiri MorshteinRan EttingerShmuel S. TyszberowiczPublished in: F-IDE@NFM (2021)
Keyphrases
- binary search
- decision problems
- worst case
- real time
- complexity measures
- genetic algorithm
- multimedia
- evolutionary algorithm
- data structure
- high computational complexity
- preprocessing
- digital libraries
- cooperative
- video sequences
- training data
- face recognition
- database systems
- high level
- artificial intelligence
- data mining
- real world