1458 search results - page 161 / 292 » Monads for incremental computing |
140
Voted
BMVC
1998
15 years 5 months ago
1998
The paper presents a new parameter-free approach to non-rigid image registration, where displacements, obtained through a mapping of boundary structures in the source and target i...
117
click to vote
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In distributed computer systems, it is possible that the evaluation of an authorization policy may suffer unexpected failures, perhaps because a sub-policy cannot be eval...
148
Voted
GRC
2008
IEEE
15 years 4 months ago
2008
IEEE
Hiding data values in privacy-preserving data mining (PPDM) protects information against unauthorized attacks while maintaining analytical data properties. The most popular models...
138
Voted
GRC
2008
IEEE
15 years 4 months ago
2008
IEEE
An adaptive and iterative LSSVR algorithm based on quadratic Renyi entropy is presented in this paper. LS-SVM loses the sparseness of support vector which is one of the important ...
106
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...