Sciweavers

1676 search results - page 252 / 336
» Lip Detection and Tracking
Sort
View
MICCAI
2005
Springer
14 years 10 months ago
Automatic Registration and Fusion of Ultrasound with CT for Radiotherapy
We present a framework for rigid registration of a set of B-mode ultrasound images to a CT scan in the context of Radiotherapy planning. Our main focus is on deriving an appropriat...
Wolfgang Wein, Barbara Röper, Nassir Navab
ICML
2007
IEEE
14 years 9 months ago
Modeling changing dependency structure in multivariate time series
We show how to apply the efficient Bayesian changepoint detection techniques of Fearnhead in the multivariate setting. We model the joint density of vector-valued observations usi...
Xiang Xuan, Kevin P. Murphy
CADE
2009
Springer
14 years 9 months ago
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability for propositional dynamic logic. Our main contribution is a sound meth...
Florian Widmann, Rajeev Goré
CHI
2008
ACM
14 years 9 months ago
Generating and using gaze-based document annotations
In this paper we describe a prototypical system that is able to generate document annotations based on eye movement data. Document parts can be annotated as being read or skimmed....
Georg Buscher, Andreas Dengel, Ludger van Elst, Fl...
VLSID
2003
IEEE
115views VLSI» more  VLSID 2003»
14 years 9 months ago
An Adaptive Supply-Voltage Scheme for Low Power Self-Timed CMOS Digital Design
This paper combines an adaptive supply-voltage scheme with self-timed CMOS digital design, to achieve low power performance. The supply-voltage automatically tracks the input data...
W. Kuang, J. S. Yuan