Sciweavers

8067 search results - page 464 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
MM
2009
ACM
169views Multimedia» more  MM 2009»
16 years 1 months ago
Visual speaker localization aided by acoustic models
The following paper presents a novel audio-visual approach for unsupervised speaker locationing. Using recordings from a single, low-resolution room overview camera and a single f...
Gerald Friedland, Chuohao Yeo, Hayley Hung
ICRA
2008
IEEE
134views Robotics» more  ICRA 2008»
16 years 1 months ago
An optimal filtering algorithm for non-parametric observation models in robot localization
— The lack of a parameterized observation model in robot localization using occupancy grids requires the application of sampling-based methods, or particle filters. This work ad...
Jose-Luis Blanco, Javier Gonzalez, Juan-Antonio Fe...
TACAS
2007
Springer
116views Algorithms» more  TACAS 2007»
16 years 27 days ago
Model Checking on Trees with Path Equivalences
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
Rajeev Alur, Pavol Cerný, Swarat Chaudhuri
ARCS
2004
Springer
16 years 5 days ago
Heterogenous Data Fusion via a Probabilistic Latent-Variable Model
In a pervasive computing environment, one is facing the problem of handling heterogeneous data from different sources, transmitted over heterogeneous channels and presented on het...
Kai Yu, Volker Tresp
DSVIS
2003
Springer
16 years 10 hour ago
Higher-Order Task Models
Based on a revision of the common task understanding in model-based approaches a formal meta model is proposed which allows more expressive task descriptions. A task is considered ...
Anke Dittmar, Peter Forbrig