GLOBECOM
2009
IEEE
13 years 10 months ago
2009
IEEE
Exact statistics of the local signal-to-noise ratios (SNRs) of the best relay in decode-and-forward (DF) opportunistic relaying (ORe) are derived. It is observed that although the ...
PAMI
2002
14 years 3 days ago
2002
For two
BC
2000
14 years 8 days ago
2000
We identify generic sources of complex and irregular spiking in biological neural networks. For the network description, we operate on a mathematically exact mesoscopic approach. S...
CORR
2008
Springer
14 years 16 days ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
ESA
2007
Springer
14 years 4 months ago
2007
Springer
We present a complete, exact and efficient implementation to compute the adjacency graph of an arrangement of quadrics, i.e. surfaces of algebraic degree 2. This is a major step t...
SIGMETRICS
2000
ACM
14 years 4 months ago
2000
ACM
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...
IPPS
2007
IEEE
14 years 6 months ago
2007
IEEE
Real-time systems using Rate Monotonic fixed priority scheduling can be checked for schedulability either by pessimistic schedulability conditions or exact testing. Exact testing ...