5158 search results - page 281 / 1032 » Generalization of the Dempster-Shafer Theory |
180
click to vote
LPAR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
186
click to vote
LPNMR
2005
Springer
16 years 4 days ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
214
click to vote
MFCS
2005
Springer
16 years 4 days ago
2005
Springer
We study simple greedy approximation algorithms for general class of integer packing problems. We provide a novel analysis based on the duality theory of linear programming. This e...
183
click to vote
TLCA
2005
Springer
16 years 4 days ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
165
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
This contribution proposes an enhanced and generic selection model for Genetic Algorithms (GAs) and Genetic Programming (GP) which is able to preserve the alleles which are part o...