Sciweavers

4332 search results - page 420 / 867
» A Probabilistic Identification Result
Sort
View
ECSQARU
1993
Springer
15 years 11 months ago
On the Relations between Incidence Calculus and ATMS
Abstract. This paper discusses the relationship between incidence calculus and the ATMS. It shows that managing labels for statements in an ATMS is similar to producing the inciden...
Weiru Liu, Alan Bundy, David Stuart Robertson
CG
2006
Springer
15 years 10 months ago
A Retrograde Approximation Algorithm for One-Player Can't Stop
Abstract. A one-player, finite, probabilistic game with perfect information can be presented as a bipartite graph. For one-player Can't Stop, the graph is cyclic and the chall...
James Glenn, Haw-ren Fang, Clyde P. Kruskal
AFRICACRYPT
2008
Springer
15 years 8 months ago
An (Almost) Constant-Effort Solution-Verification Proof-of-Work Protocol Based on Merkle Trees
Proof-of-work schemes are economic measures to deter denial-of-service attacks: service requesters compute moderately hard functions the results of which are easy to check by the ...
Fabien Coelho
ASPDAC
2005
ACM
123views Hardware» more  ASPDAC 2005»
15 years 8 months ago
Yield driven gate sizing for coupling-noise reduction under uncertainty
Abstract— This paper presents a post-route gate-sizing algorithm for coupling-noise reduction that constrains the yield loss under process variations. Algorithms for coupling-noi...
Debjit Sinha, Hai Zhou
IPMU
2010
Springer
15 years 8 months ago
Evidential Combination of Multiple HMM Classifiers for Multi-script Handwritting Recognition
In this work, we focus on an improvement of a multi-script handwritting recognition system using a HMM based classifiers combination. The improvement relies on the use of Dempster-...
Yousri Kessentini, Thomas Burger, Thierry Paquet