Sciweavers

2136 search results - page 26 / 428
» Improving on Expectation Propagation
Sort
View
JAIR
2010
145views more  JAIR 2010»
13 years 7 months ago
Fast Set Bounds Propagation Using a BDD-SAT Hybrid
Binary Decision Diagram (BDD) based set bounds propagation is a powerful approach to solving set-constraint satisfaction problems. However, prior BDD based techniques incur the si...
Graeme Gange, Peter J. Stuckey, Vitaly Lagoon
ICCS
2007
Springer
14 years 2 months ago
Text Classification with Support Vector Machine and Back Propagation Neural Network
Abstract. We compared a support vector machine (SVM) with a back propagation neural network (BPNN) for the task of text classification of XiangShan science conference (XSSC) web do...
Wen Zhang, Xijin Tang, Taketoshi Yoshida
SAS
2010
Springer
139views Formal Methods» more  SAS 2010»
13 years 7 months ago
Interprocedural Analysis with Lazy Propagation
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
Simon Holm Jensen, Anders Møller, Peter Thi...
MICCAI
2010
Springer
13 years 6 months ago
Texture Guided Active Appearance Model Propagation for Prostate Segmentation
Fusion of Magnetic Resonance Imaging (MRI) and Trans Rectal Ultra Sound (TRUS) images during TRUS guided prostate biopsy improves localization of the malignant tissues. Segmented p...
Soumya Ghose, Arnau Oliver, Robert Marti, Xavier L...
GLOBECOM
2007
IEEE
14 years 3 months ago
A Frequency-Dependence Model for the Ultra-Wideband Channel Based on Propagation Events
— While the frequency-dependence of the wireless channel may be negligible for narrow to wideband signals, it has been shown that modeling this dependence for bandwidths in exces...
Camillo Gentile, Alfred Kik