6045 search results - page 1039 / 1209 » Computable Linearizations of Well-partial-orderings |
AMAST
2006
Springer
14 years 1 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
ASIACRYPT
2006
Springer
14 years 1 months ago
2006
Springer
We introduce KFC, a block cipher based on a three round Feistel scheme. Each of the three round functions has an SPN-like structure for which we can either compute or bound the adv...
CIKM
2006
Springer
14 years 1 months ago
2006
Springer
A fundamental building block of many data mining and analysis approaches is density estimation as it provides a comprehensive statistical model of a data distribution. For that re...
CLEAR
2006
Springer
14 years 1 months ago
2006
Springer
This paper addresses the problem of estimating head pose over a wide range of angles from low-resolution images. Faces are detected using chrominance-based features. Grey-level nor...
ECML
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we provide a study on the use of tree kernels to encode syntactic parsing information in natural language learning. In particular, we propose a new convolution kerne...