We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
The paper is about the methodology of e-learning applied in computer vision. There exists an interactive textbook of computer vision in Slovak language but the only difference bet...
This paper presents an adaptation of the standard quantum search technique to enable application within Dynamic Programming, in order to optimise a Markov Decision Process. This i...
A multi-level hierarchical content organization and on-demand delivery framework is presented in this paper. This framework enables engineering content representation and exchange...
Xiaoyong Su, Chi-Cheng Peter Chu, B. S. Prabhu, Ra...
This papers investigates the computation of lower/upper expectations that must cohere with a collection of probabilistic assessments and a collection of judgements of epistemic in...