JAIST Repository > School of Information Science > JAIST Research Reports > Research Report - School of Information Science : ISSN 0918-7553 >
Parallel computation model logPQ and its evaluation
Single-machine sceduling with fuzzy precedence constraints
Propositional calculus with identity
Discrete-time system analysis using constrained positively invariant set
動的輪郭モデルを用いた多方向に移動する複数物体の追跡に関する研究