Sciweavers

5619 search results - page 164 / 1124
» A Region Inference Algorithm
Sort
View
BMEI
2008
IEEE
15 years 4 months ago
Using Phylogenetic Relationships to Improve the Inference of Transcriptional Regulatory Networks
Inferring transcriptional regulatory networks from geneexpression data remains a challenging problem, in part because of the noisy nature of the data and the lack of strong networ...
Xiuwei Zhang, Maryam Zaheri, Bernard M. E. Moret
77
Voted
SBACPAD
2007
IEEE
128views Hardware» more  SBACPAD 2007»
15 years 4 months ago
Node Level Primitives for Parallel Exact Inference
We present node level primitives for parallel exact inference on an arbitrary Bayesian network. We explore the probability representation on each node of Bayesian networks and eac...
Yinglong Xia, Viktor K. Prasanna
101
Voted
IWMM
2007
Springer
85views Hardware» more  IWMM 2007»
15 years 4 months ago
Uniqueness inference for compile-time object deallocation
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
Sigmund Cherem, Radu Rugina
TACAS
2007
Springer
108views Algorithms» more  TACAS 2007»
15 years 4 months ago
State of the Union: Type Inference Via Craig Interpolation
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
103
Voted
PVLDB
2008
121views more  PVLDB 2008»
14 years 9 months ago
Type inference and type checking for queries on execution traces
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
Daniel Deutch, Tova Milo