217
Voted
CGI
2009
IEEE
15 years 8 months ago
2009
IEEE
We present an approach to automatically register a large set of color images to a 3D geometric model. The problem arises from the modeling of real-world environments, where surfac...
130
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
148
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a...
141
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...