Sciweavers

2853 search results - page 332 / 571
» On Coherence in Computer Algebra
Sort
View
EMNLP
2010
15 years 2 months ago
A Latent Variable Model for Geographic Lexical Variation
The rapid growth of geotagged social media raises new computational possibilities for investigating geographic linguistic variation. In this paper, we present a multi-level genera...
Jacob Eisenstein, Brendan O'Connor, Noah A. Smith,...
ICASSP
2011
IEEE
14 years 8 months ago
Finding curves in SAR CCD images
This paper introduces a pattern recognition and computer vision approach to mitigating false alarms in synthetic aperture radar (SAR) coherence change detection (CCD) images. In t...
Miriam Cha, Rhonda Phillips, Michael Yee
ICASSP
2011
IEEE
14 years 8 months ago
Joint disparity and optical flow by correspondence growing
The scene flow in binocular stereo setup is estimated using a seed growing algorithm. A pair of calibrated and synchronized cameras observe a scene and output a sequence of image...
Jan Cech, Radu Horaud
ICASSP
2011
IEEE
14 years 8 months ago
Consensus-based distributed particle filtering algorithms for cooperative blind equalization in receiver networks
We describe in this paper novel consensus-based distributed particle filtering algorithms which are applied to cooperative blind equalization of frequency-selective channels in a...
Claudio J. Bordin, Marcelo G. S. Bruno
POPL
2003
ACM
16 years 4 months ago
A generic approach to the static analysis of concurrent programs with procedures
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
Ahmed Bouajjani, Javier Esparza, Tayssir Touili