5506 search results - page 155 / 1102 » Minimal Logic Programs |
132
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Active objects offer a structured approach to concurrency, encapsulating both unshared state and a thread of control. For efficient data transfer, data should be passed by referenc...
107
click to vote
SIAMMAX
2010
14 years 10 months ago
2010
The main goal of this paper is to develop a numerical procedure for construction of covariance matrices such that for a given covariance structural model and a discrepancy function...
119
Voted
ILP
2000
Springer
15 years 7 months ago
2000
Springer
First-order probabilistic models are recognized as efficient frameworks to represent several realworld problems: they combine the expressive power of first-order logic, which serv...
181
Voted
ECOWS
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...
133
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming becau...