PC Vision Explain the Bayesian way to deal with tackling issues in PC vision. Clarify the thought of an Inverse Problem and how PC vision can be respected along these lines from a proper perspective as converse designs. Record Bayes' standard in everyday structure, and clarify the translation of its terms as: ? likelihood of the picture, given the article ? likelihood of the item, given the picture What is the job of the "earlier?" Discuss and show the Bayesian methodology as far as 3D surface recreation, given the reflectance information in a picture. [20 marks] 13 Specification and Verification II Describe the language structure and semantics of Computation Tree Logic (CTL). [4 marks] Write down CTL formulae communicating the accompanying properties: (a) on the off chance that req goes high, it will remain high until ack goes high and afterward go low on the following cycle [2 marks] (b) if at any point req is high and begun is low then in the long run mistake will turn out to be for all time high [2 marks] Briefly depict the primary thoughts hidden model checking. What is representative model checking? Compare and differentiation the utilization of a model checker and a hypothesis prover for formal confirmation.

QUESTION 6 What is the computational complexity of the function f(n)= n + 50? constant logn linear nlogn polynomial exponential all of the above none of the above QUESTION 7 What is the computational complexity of the function f(n)= 100n(5n+ 1)? constant logn linear nlogn polynomial exponential all of the above none of the above QUESTION 8 What is the computational complexity of the function f(n)= 700n^2+ 16nlogn? constant logn linear nlogn polynomial exponential all of the above none of the above