A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI.

Published in: Ann. Pure Appl. Log. (2024)

Keyphrases

model construction
pose estimation
influence diagrams
generative model
computer vision
decision making
lower bound
special case
least squares
sufficient conditions
statistical model