2909 search results - page 388 / 582 » Consistency of the theory of contexts |
194
click to vote
SCALESPACE
2005
Springer
16 years 1 days ago
2005
Springer
We investigate the use of fractional powers of the Laplacian for signal and image simplification. We focus both on their corresponding variational techniques and parabolic pseudod...
157
click to vote
HT
2004
ACM
15 years 12 months ago
2004
ACM
ZigZag is a paradigm of hypermedia that consists of a multidimensional system of principled interconnections. Its basic features and specifications are now well known, but despite...
184
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
We address the problem of unsupervised image auto-annotation with probabilistic latent space models. Unlike most previous works, which build latent space representations assuming ...
177
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
We study three new techniques which will speed up the branch-and-bound algorithm for the MAX-2-SAT problem: The first technique is a new lower bound function for the algorithm an...
168
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...