We present a fast, robust, and low cost pupil detection technique that uses two near infra red time multiplexed light sources synchronized with the camera frame rate. The two ligh...
Carlos Hitoshi Morimoto, David Koons, Arnon Amir, ...
Specification reduction can reduce test time, consequently, test cost. In this paper, a methodology to reduce specifications during specification testing for analog circuit is prop...
This paper presents a novel approach to automatic traffic monitoring using 2D spatiotemporal images. A TV camera is mounted above a highway to monitor the traffic through two slic...
Zhigang Zhu, Guangyou Xu, Bo Yang, Dingji Shi, Xue...
This paper reviews the connections between Graphplan's planning-graph and the dynamic constraint satisfaction problem and motivates the need for adapting CSP search technique...
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion o...