9719 search results - page 145 / 1944 » Inference for Multiplicative Models |
103
Voted
APLAS
2008
ACM
15 years 3 months ago
2008
ACM
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...
152
Voted
BMCBI
2010
14 years 8 months ago
2010
Background: The correlation between the expression levels of transcription factors and their target genes can be used to infer interactions within animal regulatory networks, but ...
97
Voted
UM
2005
Springer
15 years 6 months ago
2005
Springer
We present a computational framework designed to provide adaptive support aimed at triggering learning from problem-solving activities in the presence of worked-out examples. The k...
107
Voted
CPM
2009
Springer
15 years 7 months ago
2009
Springer
The haplotype inference problem (HIP) asks to find a set of haplotypes which resolve a given set of genotypes. This problem is of enormous importance in many practical fields, su...
131
click to vote
SCP
2010
14 years 11 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...