Login / Signup
Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification.
Monika Henzinger
Published in:
Principles of Systems Design (2022)
Keyphrases
</>
fine grained
computer aided
coarse grained
lower bound
access control
tightly coupled
diagnosis of breast cancer
computer aided diagnosis
computer aided design
upper bound
worst case
high level
objective function
process planning
computer vision
pulmonary nodules