5066 search results - page 351 / 1014 » Spectra of structures and relations |
151
click to vote
APAL
2010
15 years 6 months ago
2010
Classical proof forests are a proof formalism for first-order classical logic based on Herbrand's Theorem and backtracking games in the style of Coquand. First described by M...
210
click to vote
COR
2008
15 years 5 months ago
2008
In this paper we review the exact algorithms proposed in the last three decades for the solution of the vehicle routing problem with time windows (VRPTW). The exact algorithms for...
185
click to vote
JMLR
2010
15 years 1 months ago
2010
We present an algorithm to infer causal relations between a set of measured variables on the basis of experiments on these variables. The algorithm assumes that the causal relatio...
200
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Spatiotemporal data is associated with vast amounts of raw samples. Given the limited computational resources typically available, an initial organization of this data supporting
...
176
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper studies two increasingly popular paradigms for image quality assessment - Structural SIMilarity (SSIM) metrics and Information Fidelity metrics. The relation of the SSI...