Sciweavers

2200 search results - page 142 / 440
» The Generalized Pignistic Transformation
Sort
View
ICC
2007
IEEE
119views Communications» more  ICC 2007»
14 years 2 months ago
Asymptotic SER Analysis of EGC and SC in Fading and Non-Gaussian Noise and Interference
In this paper, we present a unified asymptotic symbol error rate (SER) analysis for linearly modulated signals with equal gain combining (EGC) and selection combining (SC) at the r...
Amir Nasri, Robert Schober, Yao Ma
CIE
2008
Springer
14 years 19 days ago
Extraction in Coq: An Overview
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
Pierre Letouzey
EUSFLAT
2003
14 years 18 hour ago
Capacities on lattices and k-ary capacities
We propose a general notion of capacity defined on any finite distributive lattice, encompassing usual capacities, bi-capacities, and their immediate extensions called k-ary cap...
Michel Grabisch, Christophe Labreuche
WSC
2000
13 years 12 months ago
Simulation from non-standard distributions using envelope methods
This paper considers the development of envelope methods as a tool for simulation. Envelope methods are based on the construction of simple envelopes to functions. The proposed en...
Michael J. Evans, Tim B. Swartz
ENTCS
2008
114views more  ENTCS 2008»
13 years 10 months ago
Term-graph Rewriting in Tom Using Relative Positions
In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern...
Emilie Balland, Paul Brauner