Sciweavers

3845 search results - page 66 / 769
» Belief Logic Programming
Sort
View
PPDP
2000
Springer
15 years 7 months ago
Continuations for parallel logic programming
Eneia Todoran, Nikolaos Papaspyrou
CORR
2008
Springer
142views Education» more  CORR 2008»
15 years 4 months ago
A Gaussian Belief Propagation Solver for Large Scale Support Vector Machines
Support vector machines (SVMs) are an extremely successful type of classification and regression algorithms. Building an SVM entails solving a constrained convex quadratic program...
Danny Bickson, Elad Yom-Tov, Danny Dolev
CORR
2008
Springer
234views Education» more  CORR 2008»
15 years 4 months ago
Bayesian Compressive Sensing via Belief Propagation
Compressive sensing (CS) is an emerging field based on the revelation that a small collection of linear projections of a sparse signal contains enough information for stable, sub-N...
Dror Baron, Shriram Sarvotham, Richard G. Baraniuk
PADL
2007
Springer
15 years 10 months ago
Aspect-Oriented Programming in Higher-Order and Linear Logic
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
Chuck C. Liang