3994 search results - page 169 / 799 » A Linear Logical Framework |
231
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper we propose a method for matching articulated shapes represented as large sets of 3D points by aligning the corresponding embedded clouds generated by locally linear ...
122
Voted
CVPR
2010
IEEE
16 years 20 days ago
2010
IEEE
Markov random fields with higher order potentials have emerged as a powerful model for several problems in computer vision. In order to facilitate their use, we propose a new rep...
145
click to vote
MP
2006
15 years 4 months ago
2006
Decomposition algorithms such as Lagrangian relaxation and Dantzig-Wolfe decomposition are well-known methods that can be used to generate bounds for mixed-integer linear programmi...
122
click to vote
NIPS
2000
15 years 5 months ago
2000
We propose a general framework for performing independent component analysis (ICA) which relies on ensemble learning and linear response theory known from statistical physics. We ...
120
click to vote
ASP
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...