8025 search results - page 82 / 1605 » Combinators Introduction: An Algorithm |
102
click to vote
CADE
2002
Springer
16 years 1 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...
SIGMOD
2002
ACM
16 years 1 months ago
2002
ACM
Assume that each object in a database has m grades, or scores, one for each of m attributes. For example, an object can have a color grade, that tells how red it is, and a shape g...
ICC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper, we introduce an adaptive Lp–norm metric for robust coherent diversity combining in non–Gaussian noise and interference. We derive a general closed–form exp...
ICCBR
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents a new approach for spatial event prediction that combines a value function approximation algorithm and case-based reasoning predictors. Each of these predictors...
109
click to vote
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
— Two novel methods for computing 3D structure information from video for a piecewise planar scene are presented. The first method is based on a new line constraint, which clear...