Sciweavers

845 search results - page 84 / 169
» Parallel Exact Inference
Sort
View
ACL
2011
13 years 18 days 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
14 years 3 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
14 years 1 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
14 years 9 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
14 years 2 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