Search Sciweavers | Sciweavers

17

ICFP
2003
ACM

125views Programming Languages» more ICFP 2003»

Discriminative sum types locate the source of type errors

14 years 7 months ago

We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...

Matthias Neubauer, Peter Thiemann

claim paper

Read More »

26

click to vote

TSP
2010

100views Artificial Intelligence» more TSP 2010»

A robust method to count and locate audio sources in a multichannel underdetermined mixture

13 years 2 months ago

Download infoscience.epfl.ch

We propose a method to count and estimate the mixing directions in an underdetermined multichannel mixture. The approach is based on the hypothesis that in the neighbourhood of som...

Simon Arberet, Rémi Gribonval, Fréd&...

claim paper

Read More »

20

click to vote

GI
2009
Springer

132views Theoretical Computer Science» more GI 2009»

Direct Detection and Location of Multiple Sources with Intermittent Emission

13 years 5 months ago

Download subs.emis.de

: This paper investigates the direct position determination (DPD) problem from passive measurements made with a moving antenna array in the case of a timevarying number of emitting...

Marc Oispuu

claim paper

Read More »

26

click to vote

ICASSP
2007
IEEE

212views Signal Processing» more ICASSP 2007»

A Real-Time SRP-PHAT Source Location Implementation using Stochastic Region Contraction(SRC) on a Large-Aperture Microphone Arra

14 years 1 months ago

Download www.lems.brown.edu

In most microphone array applications, it is essential to localize sources in a noisy, reverberant environment. It has been shown that computing the steered response power(SRP) is...

Hoang Do, Harvey F. Silverman, Ying Yu

claim paper

Read More »

18

click to vote

3DIM
1999
IEEE

113views Image Processing» more 3DIM 1999»

A Low-Cost Range Finder Using a Visually Located, Structured Light Source

13 years 11 months ago