15097 search results - page 2630 / 3020 » Image Processing in C |
169
click to vote
CCS
2004
ACM
16 years 7 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
191
click to vote
COLT
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The Gram matrix plays a central role in many kernel methods. Knowledge about the distribution of eigenvalues of the Gram matrix is useful for developing appropriate model...
170
click to vote
CP
2004
Springer
16 years 7 days ago
2004
Springer
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...
157
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
Many decision problems can be modelled as adversarial constraint satisfaction, which allows us to integrate methods from AI game playing. In particular, by using the idea of oppone...
166
click to vote
ESA
2004
Springer
16 years 7 days ago
2004
Springer
We propose the linear axis, a new skeleton for polygonal shapes. It is related to the medial axis and the straight skeleton, being the result of a wavefront propagation process. Th...