The Refutation of Amdahl's Law and Its Variants.

Published in: Trans. Comput. Sci. (2018)

Keyphrases

theorem proving
theorem prover
case study
automated theorem proving
genetic algorithm
case law
legal reasoning
inductive inference
supreme court
database
artificial intelligence and law
hidden markov models
cost function
pattern recognition
multi agent
three dimensional
computer vision
artificial intelligence