Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
We present a face verification system inspired by known properties of the human visual system. In the proposed algorithm the face is normalized for geometry and luminance, and Fou...
Yossi Zana, Roberto Marcondes Cesar Junior, Rog&ea...
From a stand point of server operation, performance measurement of the server is important. One of the major parts of the measurement is kernel monitoring, and most server adminis...
This paper contains measures to describe the matrix impulse response sensitivity of state space multivariable systems with respect to parameter perturbations.The parameter sensitiv...
This study shows that affect-adaptive computer tutoring can significantly improve performance on learning efficiency and user satisfaction. We compare two different student uncer...