728 search results - page 31 / 146 » Efficient Searching with Linear Constraints |
185
click to vote
AISC
2004
Springer
15 years 11 months ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
151
click to vote
IJCAI
2001
15 years 7 months ago
2001
Constraint propagation is the main feature of any constraint solver. This is thus of prime importance to manage constraint propagation as efficiently as possible, justifying the us...
169
click to vote
ICCV
2007
IEEE
15 years 10 months ago
2007
IEEE
Generic camera calibration is a non-parametric calibration technique that is applicable to any type of vision sensor. However, the standard generic calibration method was develope...
174
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
In this work, two new techniques for non-linear feature extraction are presented. In these techniques, new features are obtained as radial projections of the original measurements...
139
click to vote
KDD
2000
ACM
15 years 9 months ago
2000
ACM
Affordable, fast computers with large memories have lessened the demand for program efficiency, but applications such as browsing and searching very large databases often have rat...