Sciweavers

5695 search results - page 209 / 1139
» Using Many Cameras as One
Sort
View
ICASSP
2011
IEEE
13 years 2 months ago
Simultaneous processing of sound source separation and musical instrument identification using Bayesian spectral modeling
This paper presents a method of both separating audio mixtures into sound sources and identifying the musical instruments of the sources. A statistical tone model of the power spe...
Katsutoshi Itoyama, Masataka Goto, Kazunori Komata...
DAGSTUHL
2011
12 years 10 months ago
Comparative Visualization Using Cross-Mesh Field Evaluations and Derived Quantities
We present a data-level comparative visualization system that utilizes two key pieces of technology: (1) cross-mesh field evaluation – algorithms to evaluate a field from one ...
Hank Childs, Sean Ahern, Jeremy S. Meredith, Mark ...
FASE
2009
Springer
14 years 5 months ago
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
Laura Kovács, Andrei Voronkov
CDC
2008
IEEE
136views Control Systems» more  CDC 2008»
14 years 5 months ago
Estimation over heterogeneous sensor networks
Abstract— Design trade-offs between estimation performance, processing delay and communication cost for a sensor scheduling problem is discussed. We consider a heterogeneous sens...
Henrik Sandberg, Maben Rabi, Mikael Skoglund, Karl...
CVPR
2003
IEEE
14 years 4 months ago
Surface Reconstruction via Helmholtz Reciprocity with a Single Image Pair
This paper brings a novel method for three-dimensional reconstruction of surfaces that takes advantage of the symmetry resulting from alternating the positions of a camera and a l...
Peter H. Tu, Paulo R. S. Mendonça