7109 search results - page 401 / 1422 » Process Algebra with Combinators |
166
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Spherical microphone arrays provide a flexible solution to obtaining higher-order directivity patterns, which are useful in audio recording and reproduction. A general systematic...
166
Voted
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This article presents an image-processing framework that permits replicating mirror reflection digitally in a natural way. We have adapted a known stereo blending technique to per...
195
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
This paper presents a technique to efficiently index and retrieve video clips in terms of motion-trajectory-based similarity. We describe the motion trajectory in three representa...
227
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
We propose a robust approach for aligning lecture slides with lecture videos using a combination of Hough transform, optical flow and Gabor analysis. A Markov Decision Process mod...
173
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...