Sciweavers

1407 search results - page 215 / 282
» Join-Graph Propagation Algorithms
Sort
View
CORR
2010
Springer
94views Education» more  CORR 2010»
13 years 9 months ago
Real-Time Multi-path Tracking of Probabilistic Available Bandwidth
Applications such as traffic engineering and network provisioning can greatly benefit from knowing, in real time, what is the largest input rate at which it is possible to transmit...
Frederic Thouin, Mark Coates, Michael Rabbat
ENTCS
2008
85views more  ENTCS 2008»
13 years 8 months ago
Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
Salvador Lucas, Rafael Navarro-Marset
CORR
2006
Springer
104views Education» more  CORR 2006»
13 years 8 months ago
Loop corrections for approximate inference
We propose a method to improve approximate inference methods by correcting for the influence of loops in the graphical model. The method is a generalization and alternative implem...
Joris M. Mooij, Bert Kappen
CG
2007
Springer
13 years 8 months ago
Gradient based image completion by solving the Poisson equation
This paper presents a novel gradient-based image completion algorithm for removing significant objects from natural images or photographs. Our method reconstructs the region of r...
Jianbing Shen, Xiaogang Jin, Chuan Zhou, Charlie C...
COR
2007
88views more  COR 2007»
13 years 8 months ago
Finding minimum and equitable risk routes for hazmat shipments
This paper deals with the generation of minimal risk paths for the road transportation of hazardous materials between an origin–destination pair of a given regional area. The ma...
Pasquale Carotenuto, Stefano Giordani, Salvatore R...