Does "N+1 Times" Prove More Programs Correct Than "N Times"?

Published in: Mathematical Foundations of Programming Semantics (1989)

Keyphrases

information technology
relational databases
arrival times
database
data sets
data mining
genetic algorithm
computer vision
decision making
clustering algorithm
case study
object recognition
mobile robot