Sciweavers

16666 search results - page 264 / 3334
» Descriptive and Computational Complexity
Sort
View
153
Voted
CRYPTO
2001
Springer
95views Cryptology» more  CRYPTO 2001»
15 years 11 months ago
Robustness for Free in Unconditional Multi-party Computation
We present a very efficient multi-party computation protocol unconditionally secure against an active adversary. The security is maximal, i.e., active corruption of up to t < n/...
Martin Hirt, Ueli M. Maurer
SIMUTOOLS
2008
15 years 8 months ago
SIMCAN: a SIMulator framework for computer architectures and storage networks
This paper presents an OMNeT-based Framework to simulate large complex storage networks, with its corresponding underlying subsystems (I/O, Networking, etc.). With this Framework,...
Alberto Nuñez, Javier Fernández, Jos...
ICDAR
2011
IEEE
14 years 6 months ago
Chinese Chess Character Recognition with Radial Harmonic Fourier Moments
—Radial harmonic Fourier moments (RHFMs) are invariant to translation, rotation, scaling and intensity, which own excellent image description ability, noise-resistant power, and ...
Kejia Wang, Honggang Zhang, Ziliang Ping, Haiying
ACRI
2008
Springer
16 years 29 days ago
On the Representation of Gliders in Rule 54 by De Bruijn and Cycle Diagrams
Abstract. Rule 54, in Wolfram’s notation, is one of elementary yet complexly behaving one-dimensional cellular automata. The automaton supports gliders, glider guns and other non...
Genaro Juárez Martínez, Andrew Adama...
JAIR
1998
120views more  JAIR 1998»
15 years 6 months ago
The Automatic Inference of State Invariants in TIM
As planning is applied to larger and richer domains the e ort involved in constructing domain descriptions increases and becomes a signi cant burden on the human application desig...
Maria Fox, Derek Long