Abstract. We present a lip contour tracking algorithm using attractorguided particle filtering. Usually it is difficult to robustly track the lip contour because the lip contour i...
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
Study of contrast sensitivity of the human eye shows that our contrast discrimination sensitivity follows the weber law for suprathreshold levels. In this paper, we apply this fac...
Confronted with the generalization of monitoring in operational networks, researchers have proposed placement algorithms that can help ISPs deploy their monitoring infrastructure ...
This paper tracks the development of the author’s work entitled Light Tracer, and examines the surrounding issues of user authorship and creativity within interactivity. Light T...