Sciweavers

2200 search results - page 147 / 440
» The Generalized Pignistic Transformation
Sort
View
ICLP
2009
Springer
14 years 11 months ago
Qualified Computations in Functional Logic Programming
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
Rafael Caballero, Mario Rodríguez-Artalejo,...
SIGMOD
2005
ACM
117views Database» more  SIGMOD 2005»
14 years 10 months ago
Relational data mapping in MIQIS
We demonstrate a prototype of the relational data mapping module of MIQIS, a formal framework for investigating information flow in peer-to-peer database management systems. Data ...
George H. L. Fletcher, Catharine M. Wyss
ICFP
2007
ACM
14 years 10 months ago
Stream fusion: from lists to streams to nothing at all
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...
Duncan Coutts, Roman Leshchinskiy, Don Stewart
CVPR
2010
IEEE
14 years 7 months ago
Tracking the Invisible: Learning Where the Object Might be
Objects are usually embedded into context. Visual context has been successfully used in object detection tasks, however, it is often ignored in object tracking. We propose a metho...
Helmut Grabner, Jiri Matas, Philippe Cattin, Luc V...
ICASSP
2009
IEEE
14 years 5 months ago
Multichannel speech enhancement using convolutive transfer function approximation in reverberant environments
Recently, we have presented a transfer-function generalized sidelobe canceler (TF-GSC) beamformer in the short time Fourier transform domain, which relies on a convolutive transfe...
Ronen Talmon, Israel Cohen, Sharon Gannot