Sciweavers

1018 search results - page 89 / 204
» Generative unbinding of names
Sort
View
78
Voted
ASIACRYPT
2006
Springer
15 years 4 months ago
Multi-Property-Preserving Hash Domain Extension and the EMD Transform
We point out that the seemingly strong pseudorandom oracle preserving (PRO-Pr) property of hash function domain-extension transforms defined and implemented by Coron et. al. [12] ...
Mihir Bellare, Thomas Ristenpart
99
Voted
DSD
2004
IEEE
126views Hardware» more  DSD 2004»
15 years 4 months ago
Boolean Minimizer FC-Min: Coverage Finding Process
This paper describes principles of a novel two-level multi-output Boolean minimizer FC-Min, namely its Find Coverage phase. The problem of Boolean minimization is approached in a ...
Petr Fiser, Hana Kubatova
DIAL
2006
IEEE
130views Image Analysis» more  DIAL 2006»
15 years 4 months ago
Refinement of digitized documents through recognition of mathematical formulae
We are developing a recognition system, named `Infty', for scientific documents including those with mathematical formulae. In this paper, we propose a new system that can re...
Toshihiro Kanahori, Masakazu Suzuki
ESWS
2006
Springer
15 years 4 months ago
Towards a Complete OWL Ontology Benchmark
Abstract. Aiming to build a complete benchmark for better evaluation of existing ontology systems, we extend the well-known Lehigh University Benchmark in terms of inference and sc...
Li Ma, Yang Yang, Zhaoming Qiu, Guo Tong Xie, Yue ...
AUSAI
2003
Springer
15 years 4 months ago
On Why Discretization Works for Naive-Bayes Classifiers
We investigate why discretization is effective in naive-Bayes learning. We prove a theorem that identifies particular conditions under which discretization will result in naiveBay...
Ying Yang, Geoffrey I. Webb