Sciweavers

2560 search results - page 144 / 512
» Contributions to zero-sum problems
Sort
View
ICPR
2006
IEEE
14 years 12 months ago
Robust 3D Head Tracking Using Camera Pose Estimation
In this report we present a robust method to recover 3D position and orientation (pose) of a moving head using a single stationary camera. Head pose is recovered by formulating th...
Ehud Rivlin, Shay Ohayon
DAC
1999
ACM
14 years 11 months ago
Engineering Change: Methodology and Applications to Behavioral and System Synthesis
Due to the unavoidable need for system debugging, performance tuning, and adaptation to new standards, the engineering change (EC) methodology has emerged as one of the crucial co...
Darko Kirovski, Miodrag Potkonjak
ICML
2005
IEEE
14 years 11 months ago
Variational Bayesian image modelling
We present a variational Bayesian framework for performing inference, density estimation and model selection in a special class of graphical models--Hidden Markov Random Fields (H...
Li Cheng, Feng Jiao, Dale Schuurmans, Shaojun Wang
RECOMB
2003
Springer
14 years 11 months ago
Finding recurrent sources in sequences
Many genomic sequences and, more generally, (multivariate) time series display tremendous variability. However, often it is reasonable to assume that the sequence is actually gene...
Aristides Gionis, Heikki Mannila
CADE
2007
Springer
14 years 11 months ago
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
Andrei Voronkov, Juan Antonio Navarro Pérez