281 search results - page 13 / 57 » Comparing operational models of name-passing process calculi |
102
click to vote
STTT
2011
14 years 6 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
94
Voted
ICASSP
2009
IEEE
14 years 9 months ago
2009
IEEE
Belief propagation is a popular global optimization technique for many computer vision problems. However, it requires extensive computation due to the iterative message passing op...
TSMC
2002
14 years 11 months ago
2002
We present a method for sampling feature vectors in large (e.g., 2000 5000 16 bit) images that finds subsets of pixel locations which represent "regions" in the image. Sa...
106
click to vote
PVLDB
2010
14 years 6 months ago
2010
The growing demand for large-scale data mining and data analysis applications has led both industry and academia to design new types of highly scalable data-intensive computing pl...
SDM
2009
SIAM
15 years 9 months ago
2009
SIAM
Process Mining refers to the extraction of process models from event logs. Real-life processes tend to be less structured and more flexible. Traditional process mining algorithms...