3994 search results - page 480 / 799 » A Linear Logical Framework |
239
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
We introduce a novel framework for nonrigid feature
matching among multiple sets in a way that takes into consideration
both the feature descriptor and the features spatial
arra...
167
Voted
ECML
2005
Springer
16 years 29 days ago
2005
Springer
Incorporation of prior knowledge into the learning process can significantly improve low-sample classification accuracy. We show how to introduce prior knowledge into linear supp...
216
Voted
CDC
2009
IEEE
16 years 5 days ago
2009
IEEE
—We develop an algorithm aimed at estimating travel time on segments of a road network using a convex optimization framework. Sampled travel time from probe vehicles are assumed ...
177
Voted
ESA
2006
Springer
15 years 11 months ago
2006
Springer
The class Max (r, 2)-CSP consists of constraint satisfaction problems with at most two r-valued variables per clause. For instances with n variables and m binary clauses, we presen...
205
click to vote
ICISP
2010
Springer
15 years 11 months ago
2010
Springer
Compressed Imaging is the theory that studies the problem of image recovery from an under-determined system of linear measurements. One of the most popular methods in this field i...