6274 search results - page 281 / 1255 » Proofs, Programs, Processes |
256
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
MayBMS is a state-of-the-art probabilistic database management system which leverages the strengths of previous database research for achieving scalability. As a proof of concept ...
135
click to vote
ORL
2008
15 years 6 months ago
2008
We consider polling systems with general service times and switch-over times, gated service at all queues and with general renewal arrival processes. We derive closed-form express...
204
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: As the mobile phone's camera is becoming the most widely available consumer tool for media creation it also opens new possibilities for casual and social form of mobile gami...
164
click to vote
ICASSP
2011
IEEE
2011
IEEE
Gaussian approximation of the LLR distribution for the ML and partial marginalization MIMO detectors
14 years 10 months ago
We derive a Gaussian approximation of the LLR distribution conditioned on the transmitted signal and the channel matrix for the soft-output via partial marginalization MIMO detect...
288
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...