This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
Myla Archer, Constance L. Heitmeyer, Elvinia Ricco...
In this paper, we introduce a new system for profilebased face recognition. The specific scenario involves a driver entering a gated area and using his/her sideview image (the dri...
Ioannis A. Kakadiaris, H. Abdelmunim, W. Yang, The...
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
Wilbur Peng, William Krueger, Alexander Grushin, P...
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different...
Jun-Ming Su, Shian-Shyong Tseng, Chia-Yu Chen, Jui...
In this paper, we study the recognition of about 60 sulcal structures over a new T1 MRI database of 62 subjects. It continues our previous work [7] and more specifically extends th...