Sciweavers

2085 search results - page 97 / 417
» Special interest groups
Sort
View
FMCO
2009
Springer
130views Formal Methods» more  FMCO 2009»
15 years 4 months ago
Interleaving Symbolic Execution and Partial Evaluation
Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advanta...
Richard Bubel, Reiner Hähnle, Ran Ji
MOC
2010
15 years 1 months ago
On the numerical evaluation of Fredholm determinants
Some significant quantities in mathematics and physics are most naturally expressed as the Fredholm determinant of an integral operator, most notably many of the distribution funct...
Folkmar Bornemann
ICASSP
2011
IEEE
14 years 10 months ago
Gaussian approximation of the LLR distribution for the ML and partial marginalization MIMO detectors
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...
Mirsad Cirkic, Daniel Persson, Erik G. Larsson, Ja...
HICSS
2003
IEEE
106views Biometrics» more  HICSS 2003»
15 years 11 months ago
Is web-based seminar an effective way of learning in adult education?
The Internet can be used to solve pedagogical problems. To give an example, seminars for crowded courses exceeding a hundred participants would not be possible without web-based a...
Pekka Makkonen
BMCBI
2006
165views more  BMCBI 2006»
15 years 6 months ago
Validation and functional annotation of expression-based clusters based on gene ontology
Background: The biological interpretation of large-scale gene expression data is one of the paramount challenges in current bioinformatics. In particular, placing the results in t...
Ralf Steuer, Peter Humburg, Joachim Selbig