Sciweavers

227 search results - page 27 / 46
» An investigation of hyper-heuristic search spaces
Sort
View
CVPR
2009
IEEE
15 years 6 months ago
Learning to Track with Multiple Observers
We propose a novel approach to designing algorithms for object tracking based on fusing multiple observation models. As the space of possible observation models is too large for...
Björn Stenger, Roberto Cipolla, Thomas Woodle...
ICIP
2007
IEEE
15 years 18 days ago
Direct Motion Estimation in the Radon Transform Domain using Match-Profile Backprojections
Integral projections have been proposed as an efficient method to reduce the dimensionality of the search space in motion estimation (ME) algorithms. A number of papers describe m...
Chris Bartels, Gerard de Haan
ICIP
2005
IEEE
15 years 17 days ago
Spatio-temporal texture synthesis and image inpainting for video applications
In this paper we investigate the application of texture synthesis and image inpainting techniques for video applications. Working in the non-parametric framework, we use 3D patche...
Sanjeev Kumar, Mainak Biswas, Serge J. Belongie, T...
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
14 years 11 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
SIGMOD
2005
ACM
117views Database» more  SIGMOD 2005»
14 years 11 months ago
Relational data mapping in MIQIS
We demonstrate a prototype of the relational data mapping module of MIQIS, a formal framework for investigating information flow in peer-to-peer database management systems. Data ...
George H. L. Fletcher, Catharine M. Wyss