12774 search results - page 2370 / 2555 » A Framework for Proof Systems |
193
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
Most existing binaural approaches to speech segregation rely on spatial filtering. In environments with minimal reverberation and when sources are well separated in space, spatial...
199
click to vote
MMAS
2010
Springer
15 years 1 months ago
2010
Springer
We propose a method for efficient solution of elliptic problems with multiscale features and randomly perturbed coefficients. We use the multiscale finite element method (MsFEM) as...
174
click to vote
SIAMCO
2010
15 years 1 months ago
2010
We consider a target problem for a nonlinear system under state constraints. We give a new continuous level-set approach for characterizing the optimal times and the backward-reach...
184
click to vote
SPIC
2010
15 years 1 months ago
2010
This paper presents a complete framework for attention-based video streaming for low bandwidth networks. First, motivated by the fovea-periphery distinction of biological vision s...
174
Voted
TCIAIG
2010
15 years 1 months ago
2010
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...