3863 search results - page 533 / 773 » Function in Device Representation |
169
click to vote
BIRTHDAY
2005
Springer
16 years 4 days ago
2005
Springer
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...
153
click to vote
CIE
2005
Springer
16 years 4 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
212
click to vote
FSTTCS
2005
Springer
16 years 3 days ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
154
click to vote
JCDL
2004
ACM
16 years 14 hour ago
2004
ACM
Information retrieval (IR) functions serve a critical role in many digital library systems. There are numerous mature IR algorithms that have been implemented and it will be a was...
176
click to vote
ICIAR
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, a new block-based image-dependent watermarking technique is proposed. The proposed technique utilizes the correlation coefficient statistic to produce a short and un...