3690 search results - page 469 / 738 » Computation with classical sequents |
186
click to vote
AIRWEB
2005
Springer
16 years 7 days ago
2005
Springer
We present an approach for detecting link spam common in blog comments by comparing the language models used in the blog post, the comment, and pages linked by the comments. In co...
197
click to vote
AVBPA
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents a novel approach to face recognition, named Multi-resolution Histograms of Local Variation Patterns (MHLVP), in which face images are represented as the concate...
196
click to vote
CHES
2005
Springer
16 years 7 days ago
2005
Springer
Embedded devices implementing cryptographic services are the result of a trade-off between cost, performance and security. Aside from flaws in the protocols and the algorithms us...
164
click to vote
COCOON
2005
Springer
16 years 7 days ago
2005
Springer
In computational biology, gene order data is often modelled as signed permutations. A classical problem in genome comparison is to detect conserved segments in a permutation, that ...
166
click to vote
CP
2005
Springer
16 years 7 days ago
2005
Springer
Classical methods for solving numerical CSPs are based on a branch and prune algorithm, a dichotomic enumeration process interleaved with a consistency filtering algorithm. In man...