2196 search results - page 127 / 440 » Practical Reasoning Using Values |
137
click to vote
GIS
2007
ACM
15 years 2 months ago
2007
ACM
Thin plate spline interpolation is a widely used approach to generate a digital elevation model (DEM) from contour lines and scattered data. In practice, contour maps are scanned a...
146
click to vote
DLOG
2009
15 years 9 days ago
2009
Abstract. I will begin by explaining an optimal tableau-based algorithm for checking ALC-satisfiability which uses "global caching" and which appears to work well in prac...
135
Voted
CADE
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
107
click to vote
ICDS
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Recently, two complementary approaches are proposed to represent, model and analyze laws: the Nomos and VLPM approaches. Nomos is a goal-oriented approach to effectively...
229
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When...