Sciweavers

6365 search results - page 851 / 1273
» Fast Local Computation Algorithms
Sort
View
SCIA
2009
Springer
306views Image Analysis» more  SCIA 2009»
16 years 7 months ago
Head Pose Estimation from Passive Stereo Images
We present an algorithm to estimate the 3D pose (location and orientation) of a previously unseen face from low-quality range images. The algorithm generates many pose candidates ...
C. Høilund, J. Jensen, Luc J. Van Gool, Mic...
ICRA
2008
IEEE
197views Robotics» more  ICRA 2008»
16 years 2 months ago
A Bayesian framework for optimal motion planning with uncertainty
— Modeling robot motion planning with uncertainty in a Bayesian framework leads to a computationally intractable stochastic control problem. We seek hypotheses that can justify a...
Andrea Censi, Daniele Calisi, Alessandro De Luca, ...
ISCAS
2008
IEEE
124views Hardware» more  ISCAS 2008»
16 years 1 months ago
Musical beat tracking via Kalman filtering and noisy measurements selection
— We study the problem of automatic musical beat tracking from acoustic data, i.e., finding locations of beats of a music piece by computers on-the-fly, in this work. An online...
Yu Shiu, C. C. Jay Kuo
CONCUR
2007
Springer
16 years 1 months ago
A Marriage of Rely/Guarantee and Separation Logic
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
Viktor Vafeiadis, Matthew J. Parkinson
GRAPHITE
2005
ACM
16 years 1 months ago
Drawing the real
In this paper we present an algorithm to automatically produce artistic drawings from stereo image pairs. The input to the algorithm is a natural scene, along with a user-defined...
Danijela Markovic, Margrit Gelautz