16430 search results - page 537 / 3286 » On Computable Tree Functions |
186
click to vote
FSE
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. In this paper, we propose a 2/3-rate double length compression function and study its security in the black-box model. We prove that to get a collision attack for the com...
198
click to vote
PPSN
2004
Springer
16 years 12 days ago
2004
Springer
This paper introduces a new evaluation function, called δ, for the Bandwidth Minimization Problem for Graphs (BMPG). Compared with the classical β evaluation function used, our Î...
176
click to vote
ECCV
2010
Springer
16 years 12 days ago
2010
Springer
Abstract. In this paper we develop an algorithm for structured prediction that optimizes against complex performance measures, those which are a function of false positive and fals...
195
click to vote
AISC
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...
135
click to vote
FCT
2001
Springer
15 years 11 months ago
2001
Springer
In this paper dense families of database relations are introduced. We characterize dependencies and keys of relation instances in terms of dense families. Key functions are also in...