4697 search results - page 839 / 940 » On Directed Information and Gambling |
118
Voted
RECOMB
2002
Springer
16 years 28 days ago
2002
Springer
We present a probabilistic framework that models the process by which transcriptional binding explains the mRNA expression of different genes. Our joint probabilistic model unifie...
123
click to vote
CADE
2005
Springer
16 years 28 days ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
117
Voted
OSDI
2006
ACM
16 years 27 days ago
2006
ACM
Operating systems are complex and their behavior depends on many factors. Source code, if available, does not directly help one to understand the OS's behavior, as the behavi...
103
Voted
OSDI
2006
ACM
16 years 27 days ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
182
Voted
SIGMOD
2009
ACM
16 years 25 days ago
2009
ACM
With large amounts of correlated probabilistic data being generated in a wide range of application domains including sensor networks, information extraction, event detection etc.,...