Sciweavers

140 search results - page 17 / 28
» On the Partial Observability of Temporal Uncertainty
Sort
View
ICASSP
2011
IEEE
14 years 1 months ago
Empirical weighting for Blind Source Separation in a multiple-snapshots scenario
We consider the blind separation of sources with general (e.g., not necessarily stationary) temporal covariance structures. When the sources’ temporal covariance matrices are kn...
Arie Yeredor
TACAS
2007
Springer
116views Algorithms» more  TACAS 2007»
15 years 3 months 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
73
Voted
ICPR
2006
IEEE
15 years 10 months ago
Uncertainties-driven Surface Morphing: The case of Photo-realistic Transitions between Facial Expressions
Reproduction of facial animation play a fundamental role in applications requiring human-computer interactions The objective of this paper is to introduce a geometric mechanism th...
Charlotte Ghys, Maxime Taron, Nikos Paragios
79
Voted
AI
2004
Springer
15 years 3 months ago
Spatio-temporal Reasoning for Vague Regions
Abstract. This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and ...
Zina M. Ibrahim, Ahmed Y. Tawfik
99
Voted
ECAI
2008
Springer
14 years 11 months ago
A Simulation-based Approach for Solving Generalized Semi-Markov Decision Processes
Time is a crucial variable in planning and often requires special attention since it introduces a specific structure along with additional complexity, especially in the case of dec...
Emmanuel Rachelson, Gauthier Quesnel, Fréd&...