3845 search results - page 66 / 769 » Belief Logic Programming |
PPDP
2000
Springer
15 years 1 months ago
2000
Springer
ICALP
1991
Springer
15 years 1 months ago
1991
Springer
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Support vector machines (SVMs) are an extremely successful type of classification and regression algorithms. Building an SVM entails solving a constrained convex quadratic program...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
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...
100
click to vote
PADL
2007
Springer
15 years 3 months ago
2007
Springer
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...