Sciweavers

2372 search results - page 381 / 475
» Probabilistic calling context
Sort
View
GG
2010
Springer
13 years 9 months ago
Local Confluence for Rules with Nested Application Conditions
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
Hartmut Ehrig, Annegret Habel, Leen Lambers, Ferna...
HUC
2010
Springer
13 years 9 months ago
CastOven: a microwave oven with just-in-time video clips
In this paper, we propose a novel microwave oven called CastOven. CastOven is a microwave oven with a LCD display that enables people to enjoy videos while they are waiting for th...
Keita Watanabe, Shota Matsuda, Michiaki Yasumura, ...
DAGM
2010
Springer
13 years 8 months ago
An Improved Histogram of Edge Local Orientations for Sketch-Based Image Retrieval
Content-based image retrieval requires a natural image (e.g, a photo) as query, but the absence of such a query image is usually the reason for a search. An easy way to express the...
Jose M. Saavedra, Benjamin Bustos
ICASSP
2010
IEEE
13 years 8 months ago
A minimax approach to Bayesian estimation with partial knowledge of the observation model
We address the problem of Bayesian estimation where the statistical relation between the signal and measurements is only partially known. We propose modeling partial Baysian knowl...
Tomer Michaeli, Yonina C. Eldar
MM
2010
ACM
140views Multimedia» more  MM 2010»
13 years 8 months ago
Enriching audio-visual chat with conversation-based image retrieval and display
This paper presents the results of a user study carried out to evaluate an application prototype in which an audio-visual chat conversation between two users is augmented by pictu...
Jeroen Vanattenhoven, Christof van Nimwegen, Matth...