Sciweavers

4209 search results - page 329 / 842
» Abstract Dialectical Frameworks
Sort
View
CVPR
2007
IEEE
16 years 8 months ago
A practical algorithm for L triangulation with outliers
This paper addresses the problem of robust optimal multi-view triangulation. We propose an abstract framework, as well as a practical algorithm, which finds the best 3D reconstruc...
Hongdong Li
MICCAI
2009
Springer
16 years 7 months ago
Setting Priors and Enforcing Constraints on Matches for Nonlinear Registration of Meshes
Abstract. We show that a simple probabilistic modelling of the registration problem for surfaces allows to solve it by using standard clustering techniques. In this framework, poin...
Benoît Combès, Sylvain Prima
ICML
2004
IEEE
16 years 7 months ago
Bellman goes relational
Motivated by the interest in relational reinforcement learning, we introduce a novel relational Bellman update operator called ReBel. It employs a constraint logic programming lan...
Kristian Kersting, Martijn Van Otterlo, Luc De Rae...
KDD
2005
ACM
171views Data Mining» more  KDD 2005»
16 years 7 months ago
Application of kernels to link analysis
Abstract. The application of kernel methods to link analysis is explored. We argue that a family of kernels on graphs provides a unified perspective on the three measures proposed ...
Takahiko Ito, Masashi Shimbo, Taku Kudo, Yuji Mats...
POPL
2005
ACM
16 years 7 months ago
Statically checking confidentiality via dynamic labels
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
Bart Jacobs, Wolter Pieters, Martijn Warnier