Sciweavers

12289 search results - page 1755 / 2458
» computing 2006
Sort
View
ACCV
2006
Springer
16 years 1 months ago
Attractor-Guided Particle Filtering for Lip Contour Tracking
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...
Yong-Dian Jian, Wen-Yan Chang, Chu-Song Chen
ACL2
2006
ACM
16 years 1 months ago
A SAT-based procedure for verifying finite state machines in ACL2
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...
Warren A. Hunt Jr., Erik Reeber
APGV
2006
ACM
287views Visualization» more  APGV 2006»
16 years 1 months ago
Contrast enhancement of images using human contrast sensitivity
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...
Aditi Majumder, Sandy Irani
CONEXT
2006
ACM
16 years 1 months ago
Reformulating the monitor placement problem: optimal network-wide sampling
Confronted with the generalization of monitoring in operational networks, researchers have proposed placement algorithms that can help ISPs deploy their monitoring infrastructure ...
Gion Reto Cantieni, Gianluca Iannaccone, Chadi Bar...
MM
2006
ACM
93views Multimedia» more  MM 2006»
16 years 1 months ago
User authorship and creativity within interactivity
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...
Karl D. D. Willis
« Prev « First page 1755 / 2458 Last » Next »