845 search results - page 44 / 169 » Parallel Exact Inference |
104
click to vote
EMO
2005
Springer
15 years 6 months ago
2005
Springer
With the invention of microarray technology, researchers are able to measure the expression levels of ten thousands of genes in parallel at various time points of a biological proc...
105
Voted
FINTAL
2006
15 years 4 months ago
2006
When building rule-based machine translation systems, a considerable human effort is needed to code the transfer rules that are able to translate source-language sentences into gra...
83
Voted
IJAR
2007
15 years 13 days ago
2007
In this article, we consider the computational aspects of deciding whether a conditional independence statement t is implied by a list of conditional independence statements L usi...
99
Voted
CADE
2006
Springer
16 years 25 days ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
128
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Markov Logic Networks (MLNs) have emerged as a powerful framework that combines statistical and logical reasoning; they have been applied to many data intensive problems including...