Sciweavers

845 search results - page 84 / 169
» Parallel Exact Inference
Sort
View
ACL
2011
14 years 8 months ago
Content Models with Attitude
We present a probabilistic topic model for jointly identifying properties and attributes of social media review snippets. Our model simultaneously learns a set of properties of a ...
Christina Sauper, Aria Haghighi, Regina Barzilay
ICPADS
2007
IEEE
15 years 11 months ago
Optimizing Katsevich image reconstruction algorithm on multicore processors
The Katsevich image reconstruction algorithm is the first theoretically exact cone beam image reconstruction algorithm for a helical scanning path in computed tomography (CT). Ho...
Eric Fontaine, Hsien-Hsin S. Lee
CONCUR
2001
Springer
15 years 9 months ago
Symbolic Computation of Maximal Probabilistic Reachability
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sprost...
ISBI
2004
IEEE
16 years 5 months ago
A Hierarchical Algorithm for Fast Backprojection in Helical Cone-Beam Tomography
Existing algorithms for exact helical cone beam (HCB) tomographic reconstruction involve a 3-D backprojection step, which dominates the the computational cost of the algorithm. We...
Jeffrey Brokish, Yoram Bresler
CONCUR
2004
Springer
15 years 10 months ago
Message-Passing Automata Are Expressively Equivalent to EMSO Logic
Abstract. We study the expressiveness of finite message-passing automata with a priori unbounded FIFO channels and show them to capture exactly the class of MSC languages that are...
Benedikt Bollig, Martin Leucker